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
Aug Our paper “How Often Does Your Program Fail?”, joint work with Arnab Ray, will appear at ATVA 2026.
Aug I will teach CS-2212-1 Data Structures and Algorithms this Monsoon.
Aug I will speak on the future of computer science education at InMobi Encore 2026.
Jul My paper “A Forced-Structure Reduction and Verifiable Bounds for Conway’s 99-Graph” received the Best Paper Award at CAISc 2026.
Jul My review of Agni by Frits Staal, “The Act as Knowledge,” appears in the July issue of Bhāvanā.
Jul I will be at ICHIM 2026 at the University of Peradeniya, Sri Lanka on July 23–24, and will give a talk on invariants in Indian mathematics.