Formally verifying protocols by day, shipping full-stack products by night.
## // About
- 🎓 B.Tech CSE @ MAIT (2023–2027) — B.S. Data Science @ IIT Madras (ongoing)
- 🔬 Research background in formal verification (DRDO), NLP (Mobineers), and applied CV/AI (Personifwy)
- 🛠️ Building full-stack products with the MERN stack, shipping end-to-end — auth, real-time systems, deployment
- 📈 1650+ LeetCode · Codeforces Pupil · Codechef 2 ★
- 📫 Reach me at raiansh230405@gmail.com
Full-Stack
- 🎵 Spotify-Inspired Music Platform — MERN, WebSockets, JWT auth, real-time chat, admin dashboard · Live
- 🤖 J.A.C.K. — AI Chatbot — OpenAI API, context-aware conversations, JWT auth, persistent history in MongoDB
- 📇 Contact Manager API — Express + MongoDB REST API for secure contact CRUD operations