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 moderate a panel, “Language Pasts and Futures”, with Soni Wadhwa, Jisso Jose, Tariq Khan, and Arti Jain at Bhashavaad 3.0, the National Translation Conference, at the India International Centre, New Delhi, on August 30 (2:30–3:20 pm).

Aug I will give a public talk as a part of the unLecture series titled, “The Limits of Computation” on August 29. Tickets are available at urbanaut.app.

Aug I will give a talk, “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.