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. I also enjoy skiing, rock climbing, and kayaking. My Instagram has some photos.

In October 2019, I'll be running the Chicago Marathon.

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