Research Assistant in the University of Cambridge Computer Lab's Security group. Compiler and operating system developer working on CHERI.

FreeBSD, LLVM and Debian developer.