I am a member of the Confidential Computing group at Microsoft Research. I have an interest in Programming Languages, Verification, and Cryptography.
-
Microsoft
- Cambridge, UK
- aka.ms/sz
Earned achievements
Pair Extraordinaire
Pair Extraordinaire
Loading
Quickdraw
Quickdraw
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Pull Shark
x2
Pull Shark
x2
Loading