Sanjit Bhat

I’m a third-year CS Ph.D. student at MIT PDOS, advised by Frans Kaashoek and Nickolai Zeldovich, and supported by an NSF GRFP fellowship. I enjoy hacking on big computer systems, especially when that results in increased security, reliability, and correctness. Recently, I’ve been excited about the use of formal verification to guarantee such properties.

Prior to MIT, I was a Turing Scholar honors computer science undergraduate at UT Austin, advised by Hovav Shacham. Before that, I spent three years in the MIT PRIMES program, working with Srini Devadas and Aleksander Mądry.

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