For Postdocs
Please send me your CV and a paragraph summary of my CAV 2020 paper if you are interested in working at the 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 details.
For IITD Students
Please email me to schedule an appointment to discuss potential collaboration for BTP/MTP.
For Internships
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:
- A paragraph explaining your understanding of formal methods, constraint solvers, and synthesis.
- A short summary of one of my papers.