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

Sep I will visit FP Launchpad at IIT Madras from September 28 to October 10.

Sep I will give an “AI Snake Oil” masterclass at the Anna Centenary Library, Chennai on Sunday, September 27 (10 am).

Sep I will give an “AI Snake Oil” masterclass at Shiv Nadar School, Gurugram on Saturday, September 26 (10 am).

Sep I will give an online talk, “Computing the Square Root of Two”, at 6 pm on Thursday, September 3. Register on Luma.

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.