Satpreet Makhija

website-photo.png

I’m a recent industry-turned researcher at the Vachani School of Advanced Computing interested in the semantics of programming languages, computational effects, and categorical semantics. 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 programming language theory, semantics of programming languages, computational effects, categorical semantics, 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.