I am a 1st year CS PhD student at the University of Illinois Urbana-Champaign (UIUC) working with Prof. Gagandeep Singh. My current research focuses on developing efficient and precise techniques for program analysis by leveraging the synergy between learning-based and symbolic methods. I also have a keen interest in automated reasoning tools (such as SAT/SMT solvers), and the analysis of neuro-symbolic systems.

Prior to starting my PhD, I obtained my MS CS degree from UIUC (2022-2024), where I was advised by Prof. Gagandeep Singh (Thesis: Neural Abstract Interpretation). Before my MS, I graduated with a B. Tech. degree in Computer Science from IIT Guwahati in May 2020. After that, I worked as a software engineer (SDE-2) in the Trading Systems team at D. E. Shaw & Co. for two years. I was also as an Applied Science Intern (Summer 2023) with the Automated Reasoning Group @ AWS (Zelkova team).

My CV