Sanjit Bhat

I’m a fifth-year CS Ph.D. student at MIT PDOS, advised by Frans Kaashoek and Nickolai Zeldovich, and supported by an NSF GRFP fellowship. I enjoy implementing computer systems and reasoning about why they’re correct. In particular, my on-going project is to build and formally verify a Key Transparency system.

Before my PhD, I was a Turing Scholar honors computer science undergraduate at UT Austin, advised by Hovav Shacham. Prior to that, I spent three great years in the MIT PRIMES program, mentored by Albert Kwon and Dimitris Tsipras.

Outside of academia, I interned at Amazon’s automated reasoning research group and at Gradient, a cybersecurity startup.