Biography
My research interests involve security, operating systems, systems software, and computer architecture. I got my PhD from the University of Cambridge on CHERI compartmentalisation for embedded systems. Beyond research, I have been working with and contributing to open-source projects, including: Linux, seL4, RTEMS, and FreeRTOS.
