Jonathan Protzenko, PhD, (@_protz_) is a Senior Researcher at Microsoft Research in Redmond. His interests revolve around type systems, language design, and software verification. Jonathan drives the EverCrypt project and wrote the F*-to-C compiler used pervasively throughout Project Everest.
Appearing at: