I am a 2nd year CS PhD student at the University of Illinois Urbana-Champaign (UIUC) working with Prof. Gagandeep Singh. My current research focuses on building automated program analyzers based on abstract interpretation, with the goal of making them more effective and adaptable across diverse analysis scenarios by leveraging symbolic reasoning and learning-based techniques. More broadly, I am interested in automated reasoning, including tools such as SAT and SMT solvers, and the analysis and use of neuro-symbolic systems.

Prior to starting PhD, I completed an MS in Computer Science at UIUC (2022–2024), advised by Prof. Gagandeep Singh. My thesis, Neural Abstract Interpretation, received the David J. Kuck Outstanding MS Thesis Award. I hold a B.Tech. in Computer Science from IIT Guwahati, and have previously worked at D. E. Shaw & Co. (two years as an SDE) and the Automated Reasoning Group at AWS (Zelkova team, Summer 2023).

My CV