I am a third-year CS PhD student at the University of Illinois Urbana-Champaign (UIUC) working with Prof. Gagandeep Singh. I am broadly interested in formal methods and automated reasoning. My current research focuses on developing precise and efficient program analyses using adaptable abstract interpretation, gradient-guided optimization, and efficient nonlinear reasoning. I am also interested in SAT/SMT solving, mathematical optimization, and neuro-symbolic systems that combine learning with formal reasoning.

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. (2020-2022) and the Automated Reasoning Group at AWS (Zelkova team, Summer 2023).