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 Shiv Nadar School, Gurugram on Saturday, September 26 (10 am), and at the Anna Centenary Library, Chennai on Sunday, September 27 (10 am).

Sep The call for workshops at ACM COMPUTE 2026 is open.

Sep Our paper “Localising Stochasticity in Weighted Automata”, based on Smayan Agarwal’s undergraduate thesis, has been accepted at FSTTCS 2026.

Sep I have received the VSAC Transdisciplinary Grant for two projects: Circle of Joy with Devapriya Roy and Annie Baxi, and one on Animal Acoustics with Meghna Agarwala and Nandini Chatterjee Singh.

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