Satpreet Makhija

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, focused on airgapped software. I hold a bachelor’s degree in computer science from Ashoka University.

If you work on symbolic logic, formal methods, proofs as programs, I’d love to have a chat with you. Just shoot an email at work.satpreet@gmail.com.