Aalok Thakkar
(આલોક ઠક્કર)

Aalok Thakkar

thakkar @ ashoka.edu.in

I work at Ashoka University. My research is on logic The study of formal systems for representing and reasoning about truth, inference, and computation. in computer science, with a focus on program synthesis Automatically generating programs from examples or from high-level descriptions of intended behavior. and automata theory The study of abstract models of computation and formal languages. .

News:

July 2026: I will be at ITiCSE in Madrid, Spain from July 8-15.

July 2026: The Formal Methods Update Meeting 2026 will be held on July 3-4 at Krea University.

May 2026: Two of my poems will be published in the upcoming issue of The Primer.

April 2026: Awarded the Nagarathna Memorial Grant (2026) for my translation of Nayi Kavita poets. The project will take shape as a series of zines.

April 2026: Awarded the ANRF Prime Minister Early Career Research Grant for work on robust and scalable program synthesis. I am currently hiring research associates, PhD students, and postdoctoral researchers for this project.