I have completed my M.Tech and Ph.D. in Computer Science and Engineering from IIT Kanpur. My doctoral thesis work is on Program Analysis and Reasoning over Diverse Domains, and my master's thesis work is on Relational Synthesis. My core area of research is Formal Methods, Program Analysis, and Program Verification. I was supervised by Dr. Subhajit Roy who helped me gain a deeper understanding and appreciation of Computer Science.

I am an expert full-stack developer and researcher with expertise in KLEE, LLVM, AFLplusplus, Z3, CVC4, PyTorch, Scikit-learn, Keras, LangGraph, Cline, Agno, FastMCP, and many more. I love to solve real-world problems with robust engineering at scale, blending both theory-rich CS, software engineering, and system design.

I specialize in building data-driven full-stack applications from development to deployment. I help startups deliver their technical goals; ping me for a quick meet. I completed my B.Tech in Mechanical Engineering from NIT Durgapur.

• How to Build An MVP | Startup School

• https://dl.acm.org/profile/99660519568/publications?Role=author

• My DPLB Profile
• My ORCID Profile

• Our work on LLM-Driven Unsatisfiability Proofs got accepted at 40th ACM Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA2 2026). LLM-Assisted Unsatisfiability Proofs for Satisfiability Modulo Theories, Oracles, and Natural Language
• Our work on Puzzle Generation got accepted at the 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024). Program Synthesis Meets Visual What-Comes-Next Puzzles
• Our work on Chiron Framework got accepted at the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023). An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering
• My Doctoral Symposium at SPLASH 2022 (OOPSLA2 2022). https://2022.splashcon.org/details/splash-2022-Doctoral-Symposium/8/Verification-of-Programs-with-Concealed-Components
• Our work on Symbolic Execution for Randomized Programs got accepted in OOPSLA 2022 (Round 2). https://dl.acm.org/doi/10.1145/3563344
• Our work on Almost Correct Invariants got accepted in ISSTA 2022 (Daejeon, South Korea). https://dl.acm.org/doi/10.1145/3533767.3534381
• Presented our work on Hot Path SSA in Sixth LLVM Performance Workshop at CGO 2020 (Seoul, South Korea) : Sixth LLVM Performance Workshop at CGO-2022

• Designed website for Shubaarambh'22 PhD Meet in CS IITK. https://shubhaarambh.netlify.app/
• Designed ACM Winter School Website (with React, React-MUI & Tailwind CSS): ACM Winter School Compilers/PL
• Designed Summer School IIT Kanpur website: https://summerschool.cse.iitk.ac.in/
• Design History Society IIT Kanpur website: https://www.historysocietyiitk.in/
• Program Analysis, Verification & Testing Resources : Software-Analysis-PAVT
• LLVM Examples : LLVM Examples
• Compilation on System Design : System-Design
• Web Engineering : Web Dev Stuff & More

For the past few years, I have been consulting various startups on the tech-stack they use and helping them out in some of their technical endeavours.

• Check out my System-Design repository for insights and articles I read and collected over the past years. I implemented some of them for my own ideas and for PingTrader, Pluto-Office, and other startups that I have worked with.

• Check out educative.io for an awesome course on System Design (recommended by highscalability.com).

• A discussion snippet from my presentation at Uber