aalok thakkar.

Aalok Thakkar

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, 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 be teaching three courses this semester:

  1. [CS-1102] Introduction to Computer Science
  2. [CS-5310/MAT-3216] Symbolic Logic and Applications
  3. [CS-6101] Computer Science Research Methods and Seminars