Aalok Thakkar

I am an Assistant Professor in the Department of Computer Science at Ashoka University, and an Alt Carbon Darjeeling Revival Fellow. My research lies at the intersection of logic, programming languages, and artificial intelligence. I am particularly interested in trustworthy AI, computational sustainability, and computer science pedagogy.

In 2023, I obtained my Ph.D. in Computer and Information Science from the University of Pennsylvania, where I was advised by Rajeev Alur and Mayur Naik. During this time, I developed the example-guided framework for synthesis of relational queries.

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: My opinion piece on antitrust regulation for AI is published by Moneycontrol.com.