I am an Assistant Professor in the Computer Science and Engineering Department at IIT Delhi. Prior to that, I was faculty at CISPA Helmholtz Center for Information Security. I completed Ph.D. in a joint degree program with Indian Institute of Technology Kanpur, India and National University of Singapore, advised by Kuldeep S. Meel and Subhajit Roy.
My research interests lie at the intersection of formal methods and artificial intelligence. In particular, my work so far 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.
The Formal Methods Group at IIT Delhi is organizing a Winter School on Formal Verification and Program Synthesis. Applications are open for final-year undergraduate students, postgraduate students (Masters/PhD), and industry professionals interested in an introduction to formal methods. For more details and to apply, visit: Winter School
I have open positions for PhDs and postdocs. For postdocs: Please send me your cv and a paragraph summary of my CAV 2020 paper if you are interested to work at intersection of formal methods and artificial intelligence. For MS(R) or PhD applicants: Please apply through IIT Delhi admissions process, specifying formal methods as a research interest, and mention my name as a potential advisor.Check out our [Research Statement] for more detail. For IITD students: Please email me to schedule an appointment to discuss potential collaboration for BTP/MTP. For Internship: Only long-term internships (6 months) are available. A 3-month internship will be considered only if you are exceptionally qualified. To apply, please send an email including, (i) a paragraph explaining your understanding of formal methods, constraint solvers, and synthesis, (ii) a short summary of one of my papers. Please note that emails generated by AI tools like OpenAI are easily identifiable and will be flagged.
Research recognition: 1. DATE-23 paper received Best Paper Award Nomination. 2. CAV-22 paper invited to FMSD issue dedicated to the best papers from CAV. 3. ICCAD-21 paper received Best Paper Award Nomination (6 out of 121 papers). 4. Received Manas Mandal Outstanding Ph.D. thesis award at IITK.
Tutorial: AAAI & IJCAI-22: Automated Synthesis: Towards the Holy Grail of AI. [description].
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].
Service: Program Committee: CP 2024, IJCAI 2024, ECAI 2024, NeurIPS 2023 Workshop GenPlan, CP Doctoral symposium 2022. Co-organizer: 1. 9th Edition of Indian SAT-SMT School, co-located with SAT 2024. 2.Workshop on Model Counting, Sampling, and Synthesis, co-located with SAT 2024.
(received Best Paper Award Nomination)
,
2023.
(received Best Paper Award Nomination)
,
2021.