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 lies at the intersection of artificial intelligence and logic, with a focus on building trustworthy AI. I work on questions such as: Is an AI model fair? Is it robust? Can we prove that it will always behave as expected? Beyond verifying models, I also explore how to design systems with guarantees built in from the start (correct by construction). For example, our tool Manthan takes a specification, uses machine learning to generate a candidate program, and then verifies and repairs it until the required guarantees are met.
If you are curious about AI, logic, verification, or building reliable systems, there are many opportunities to get involved — from using automated reasoning tools to exploring the limits of machine learning.
I am actively recruiting students to work with me. If you are interested in a 6-month long research internship, with the possibility of extending it into a longer collaboration (including pursuing Ph.D., if mutually agreed), please see the projects listed below and fill out the form HERE. This will be an in-person, paid internship at CSE@IITD.
Currently, I am working on several projects, including:
Correct systems with LLMs in the loop: Large language models (LLMs) can generate code from a specification. But can we trust that the generated code is correct? We use automated reasoning tools to verify LLM-generated code, and if it fails, we aim to automatically repair it. (with Kumar Madhukar)
Verification and repair of ML models: We study how to verify machine learning models against important properties. For example: how much can we perturb an input without changing the output? If the model fails these checks, can we repair it to meet the guarantees? (with Kumar Madhukar)
Explainable AI and ranking functions: Given a dataset with ranked data points, can we explain how the ranking was generated? We explore realizable functions that map features to rankings, and study how to handle hidden features in explanations. (with Diptarka Chakraborty, Sujoy Bhore, and Suraj Shetiya)
Automated reasoning across domains: We apply automated reasoning techniques to diverse domains where correctness is critical. One direction is approximate yet correct-on-critical-components synthesis of circuits, where we aim to balance efficiency with provable guarantees. Another is computational social choice, where we study fundamental questions of fairness, such as whether envy-free allocations of resources among agents always exist. (with Rohit Vaish on computational social choice)
Research recognition:
Research grants:
Indian government’s ANRF Early Career Research Grant.
Co-organizer: 1. ACM IndiCS seminar on Automated Synthesis. 2. Workshop on Model Counting, Sampling, and Synthesis, co-located with SAT 2025. 3. Winter School on Formal Verification and Program Synthesis, CSE IITD. 4. 9th Edition of Indian SAT-SMT School, co-located with SAT 2024. 5.Workshop on Model Counting, Sampling, and Synthesis, co-located with SAT 2024.
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: ATVA AE Chair 2025, SAT 2025, VMCAI 2025, CP 2024, IJCAI 2024, ECAI 2024, NeurIPS 2023 Workshop GenPlan, CP Doctoral symposium 2022.
Tutorial: AAAI & IJCAI-22: Automated Synthesis: Towards the Holy Grail of AI. [description].
(received Best Paper Award Nomination)
,
2023.
(received Best Paper Award Nomination)
,
2021.