I am a Researcher at Microsoft Research Redmond, in the Security and Privacy Research Group. My research interests lie in cryptography, verified systems and system security. Before joining Microsoft, I was a Junior Research Fellow at Merton College, Oxford, studying Number Theory and Combinatorics; I studied for my Ph.D. (2015), M.Math and B.A. (2012) in Mathematics from the University of Cambridge.