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.