I am an assistant professor in the department of Computer Science at Ashoka University. I specialize in the areas of programming languages, formal logic, and artificial intelligence.
In 2023, I obtained my Ph.D. advised by Rajeev Alur and Mayur Naik. During this time, I developed the example-guided framework for synthesis of relational queries.
In the past, I have worked with Adobe Systems, Aptos Labs, AWS Automated Reasoning Group, Laboratoire Specification et Verification, Nokia Bell Labs, and Movement Labs.
news:
Jan 2025: I will be teaching Introduction to Computer Science and Trustworthy AI in Spring 2025.
Jan 2025: Ashoka University will host a Pre-doctoral Research Workshop from January 9-11. Applications close on December 27.
Dec 2024: I will be presenting some of my doctoral work at the Research Highlights in Programming Languages, co-located with FSTTCS 2024.
Nov 2024: I will be representing India as a part of a delegation at the 9th BRICS Young Scientists Forum at Sochi, Russia.