I am a final year joint Ph.D. candidate with Indian Institute of Technology Kanpur, India and National University of Singapore. My research advisers are Kuldeep S. Meel and Subhajit Roy.

I am on the Academic Faculty Job Market.
Application Materials:
[Research Statement] [Teaching Statement] [Diversity Statement]

Upcoming Invited Talks: CISPA, MPI-SWS, University of Iowa, Emory University, Aalto University, ANU, George Mason University.

My research interests lie at the intersection of formal methods and artificial intelligence. In particular, my dissertation work has focused on designing scalable automated synthesis and testing techniques. I am the lead designer of the state-of-the-art functional synthesis engine, Manthan, which combines advances in machine learning, constrained sampling, and automated reasoning to achieve significant scalability.

My dissertation work has been awarded Best Paper Nomination at ICCAD-21 and Best Paper Candidate at DATE-23. I have co-presented a tutorial on Automated Synthesis: Towards the Holy Grail of AI at AAAI-22 and IJCAI-22. I am co-authoring an upcoming book (on invitation from NOW publishers) on functional synthesis. I was named one of the EECS Rising Stars 2022.