skip to content

Department of Computer Science and Technology

  • 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.

Contact Details