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:
May 2025: I will be teaching a short courses Mathematical Foundations of Computer Science at the Ashoka Horizons Achievers Program, How to Win at the Casino at the Lodha Genius Program, and Tech, Data, and Computer Science at the Young Scholars Programme.
Mar 2025: In collaboration with Alt Carbon, I am working on models to estimate the carbon captured by Enhanced Rock Weathering. The project has several research assistant positions. Find more details here.
Feb 2025: I will be visiting IIIT Delhi (Feb 14) and giving a talk on "The Art of Writing Righting Code."
Jan 2025: I will be teaching Introduction to Computer Science and Trustworthy AI in Spring 2025. The independent studies offered include Games on Graphs, Philosophy of Mathematics, and Theory of Probability.