Principal Cheese Researcher at Microsoft Research. I tweet about cheese, and occasionally formal verification, cryptography (HACL*/EverCrypt), type systems, etc
Joined September 2010
- Tweets 858
- Following 391
- Followers 874
- Likes 737
51 Photos and videos
