Jonathan Protzenko

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:

Project Everest: Fast, Correct, and Secure Software for Deployment Now!