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:
December 2025: We will host a mentoring workshop as a part of FSTTCS 2025 at BITS Pilani Goa Campus on December 16, 2025.
December 2025: Four of CS pedagogy papers are accepted at ACM Compute 2025 at IIT Ropar (December 7-9, 2025).
November 2025: Our paper 'From Transformers to Weighted Automata: Towards Verification of Large Language Models' is accepted at DataMod 2025 in Toledo, Spain (November 10-11, 2025).
November 2025: We will host an IndiCS Seminar on Automated Synthesis at the Infosys Campus in Mysore.
October 2025: I will give a talk on program synthesis at the CSA Department Seminar at IISc Bangalore on October 8, 2025.
October 2025: I will lead a hands-on workshop on "Geostatistical Frameworks for Enhanced Rock Weathering" at Alt Futures summit at IISc Bangalore on October 6, 2025.