I am a 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.
I have open positions for interns, PhDs and postdocs. Please send me your cv if you are interested to work at intersection of formal methods and artificial intelligence. Check out our [Research Statement] for more detail.
Research paper 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).
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].
(received Best Paper Award Nomination)
,
2023.
(received Best Paper Award Nomination)
,
2021.