Satpreet Makhija

prof_pic.jpg

I’m a recent industry-turned researcher working with Prof. Aalok Thakkar at the Vachani School of Advanced Computing on program synthesis. Previously at Google Cloud, I focused on airgapped software. I hold a bachelor’s degree in computer science from Ashoka University.

If you work on program synthesis, programming language theory, semantics of programming languages, or questions at the boundary of syntax and semantics, I’d love to chat. Just shoot an email at satpreet.makhija@ashoka.edu.in.

recent updates

Jun 9, 2026 I will be attending the Formal Methods Update Meeting 2026 at Krea University from July 2-3, 2026.
Jun 1, 2026 I will be attending the Indian School on Logic and Applications 2026 at Krea University from 25-30 June 2026.