About Me

I am a Computer Science graduate from IIT Roorkee, working on compilers and machine learning. My experience spans LLVM-based compiler tooling, including undefined behavior sanitizers for C and C++, IR-level analysis and transformation passes, and SMT-based reasoning over LLVM IR using Z3. I am interested in building systems that reason about programs with clear semantic guarantees while remaining practical and performant. In quantum computing, I have worked on problems where reversibility and hardware constraints directly shape program semantics.

Currently, I am at PROSE, where I build machine learning systems involving large language models, diffusion models, and retrieval pipelines augmented with symbolic structure. My work focuses on integrating learning-based methods with formal reasoning, with attention to correctness, controllability, and real-world failure modes. I have applied these ideas across both research prototypes and production-oriented systems.

I am recently getting involved with the LLVM community and am motivated by research-driven engineering, aiming to build tools and systems that are both principled and deployable.

Latest News

• 10/2025 - Started my Research Fellowship at PROSE, Microsoft Research
• 09/2025 - Graduated with a Bachelors of Technology in Computer Science and Engineering from IIT Roorkee
• 07/2025 - Brief stint as a Software Engineer at Enphase Energy
• 07/2024 - Started working as a Summer Research Intern at INSAIT
• 05/2024 - Started working as a Project Intern at Enphase Energy