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 give a talk on “Proofs Without Proofs” at ICHIM 2026 at the University of Peradeniya.
Jul I will be at ITiCSE in Madrid, Spain from July 8–15.
Jul Two of my poems, To María Orosa and On the Compositional Inverse of the Square-Root Function, will appear in Science Gallery Bengaluru’s CALORIE: In Your Words.
Jul Two of my poems, On Inertia I and II, will be published in the upcoming issue of The Primer.
Jul Teaching FC-0306 Quantitative Reasoning and Mathematical Thinking this summer.
Jul The Formal Methods Update Meeting 2026 will be held on July 3–4 at Krea University.