Matthew Parkinson is a Researcher in the Confidential Computing group at Microsoft Research. His research focusses on memory safety from verification through to language and runtime design. Before joining Microsoft, he was a Royal Academy of Engineering Research Fellow at the University of Cambridge.