- Affiliate
I am a visiting researcher from Microsoft Research, Cambridge. I previously worked at the Computer Laboratory where I was a postdoctoral research assistant spanning the Computer Architectures and Programming, Logic and Semantics groups. My PhD was entitled Hardware Support for Compartmentalisation and was supervised by Simon Moore. I worked on modelling the CHERI ISA as part of the REMS project.
