David Lazar

I'm a PhD student in the PDOS group at MIT CSAIL, advised by Nickolai Zeldovich and Frans Kaashoek. 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:

Consider supporting my work by donating to Vuvuzela or buying me a coffee.