David Lazar

I'm a PhD student in the PDOS group at MIT where my research focuses on security and privacy in distributed systems. I did my undergrad at UIUC where I worked with the FSL on formal semantics of programming languages.

Publications

Software

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.

Etcetera