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

thakkar @ ashoka.edu.in

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

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 will appear in the July issue of Bhāvanā.

Jul I will give a talk on “Proofs Without Proofs” at ICHIM 2026 at the University of Peradeniya.

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.