Aalok Thakkar
(આલોક ઠક્કર)
thakkar @ ashoka.edu.in
I work at Ashoka University.
My research is on
logicThe study of formal systems for representing and reasoning about truth, inference, and computation.
in computer science, with a focus on
program synthesisAutomatically generating programs from examples or from high-level descriptions of intended behavior.
and
automata theoryThe study of abstract models of computation and formal languages..
News
2026
Jul I will be at ITiCSE in Madrid, Spain from July 8–15.
Jul The Formal Methods Update Meeting 2026 will be held on July 3–4 at Krea University.
May Two of my poems will be published in the upcoming issue of The Primer.
Apr Awarded the Nagarathna Memorial Grant for my translation of Nayi Kavita poets. The project will take shape as a series of zines.
Apr 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.