About Me

I am a Research Fellow at Microsoft Research, where I work on AI-assisted spreadsheet intelligence as part of the PROSE team. I graduated from the Indian Institute of Technology Roorkee with a B.Tech. in Computer Science and Engineering. My interests span programming languages, machine learning, and systems, with a particular focus on making AI systems more reliable.

My current work explores how large language models can be integrated with formal reasoning and program synthesis techniques to improve natural language-to-code generation. My long-term research interests include AI-assisted programming, formal methods, machine learning systems, and intelligent software agents.

Before joining Microsoft Research, I spent a summer at INSAIT studying uncomputation techniques for quantum circuits. I have also worked on LLVM compiler infrastructure, SMT-based reasoning over LLVM IR, retrieval-augmented systems, vision-language models, and diffusion models. These experiences have shaped my interest in building systems that combine principled reasoning with modern machine learning.

I’m always happy to discuss research ideas or potential collaborations. Feel free to reach out by email or connect with me on LinkedIn.

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