David Lazar

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

Publications

Software

Etcetera