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

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 I will give a talk, “Working Title: What Should We Learn, If Not Programming?”, at InMobi Encore 2026.

Aug My opinion piece “Can the Indian Knowledge Systems be defended from pseudoscience?” appears in Scroll.in.

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.

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.