Principal Cheese Researcher at Microsoft Research. I tweet about cheese, and occasionally formal verification, cryptography (HACL*/EverCrypt), type systems, etc

ID: 190963002

linkhttp://jonathan.protzenko.fr calendar_today15-09-2010 08:16:42