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

thakkar @ ashoka.edu.in

I work at Ashoka University. My research is on in computer science, with a focus on and .

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” has been accepted 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.

Jul I will be at ITiCSE in Madrid, Spain from July 8–15.

Jul Two of my poems, To María Orosa and On the Compositional Inverse of the Square-Root Function, will appear in Science Gallery Bengaluru’s CALORIE: In Your Words.

Jul Two of my poems, On Inertia I and II, will be published in the upcoming issue of The Primer.

Jul The Formal Methods Update Meeting 2026 will be held on July 3–4 at Krea University.