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. My current work focusses on trustworthy AI, computational sustainability, and CS pedagogy.
In 2023, I obtained my Ph.D. from the University of Pennsylvania, 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, Amazon AWS, and Bell Labs.
news:
November 2025: We will host an IndiCS Seminar on Automated Synthesis at the Infosys Campus in Mysore.
August 2025: I will give a talk at Conclave 3.0 on August 7, 2025 on some of our recent work on Inclusive CS Education.
August 2025: I will be teaching three courses this semester:
- [CS-1102] Introduction to Computer Science
- [CS-5310/MAT-3216] Symbolic Logic and Applications
- [CS-6101] Computer Science Research Methods and Seminars