I am an assistant professor in the department of Computer Science at Ashoka University, and an Alt Carbon Darjeeling Revival Fellow. 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:
July 2025: We will host a Conference on AI and Cybersecurity in partnership with Argonne National Laboratory and the U.S. Department of State. Please email caics2025@ashoka.edu.in for more details.
July 2025: I will be teaching Introduction to Computer Science and Quantitative Reasoning and Mathematical Thinking in Summer 2025.
July 2025: I will be attending the FM Update Meeting 2025 at IIT Gandhinagar.
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.
Apr 2025: I was awarded the Darjeeling Revival Fellowship by Alt Carbon. As a part of this fellowship, 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.