Satpreet Makhija

I’m a computer scientist working on programming languages, formal methods, and reliable software systems. I’m currently a researcher at the Vachani School of Advanced Computing. 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 languages, formal methods, verification, or reliable software systems, I’d love to chat. Just shoot an email at satpreet.makhija@ashoka.edu.in.