David Lazar

I'm a PhD student in the PDOS group at MIT CSAIL, advised by Nickolai Zeldovich. My research focuses on security and privacy in distributed systems. Previously, I worked with the FSL group on formal semantics of programming languages at UIUC.



Most of my software projects are on my Github. Here are some highlights:


I've spent a lot of time hiking in the Whites, running along the Charles, and sailing at the MIT Sailing Pavilion. My Instagram has some photos.

If you'd like to climb a mountain together, email me: lazard csail mit edu.