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.
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. Check out my Research Statement for more details.
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.
Selected recorded talks: 1. Manthan: A Data-Driven Apporach for Boolean Functional Synthesis [video @ SAT-SMT workshop-2020]. 2. Program Synthesis as Dependency Quantified Formula Modulo Theory [video @ Formal Method Update-2021].
(received Best Paper Award Nomination), 2023.
(received Best Paper Award Nomination), 2021.