I am a 2^nd 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 programming languages. Currently, I am working on making abstract interpretation-based program analysis more efficient and adaptable across diverse analysis scenarios by leveraging symbolic reasoning and learning-based techniques. I am also interested in automated reasoning 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. (2020-2022) and the Automated Reasoning Group at AWS (Zelkova team, Summer 2023).