- Professor of Systems, Security, and Architecture
I am a Professor (Reader) in Systems, Security, and Architecture at the University of Cambridge Computer Laboratory. I am involved in several research groups at the lab, including Security, Networks and Operating Systems, and Computer Architecture. I lead a number of cross-layer research projects spanning computer architecture, compilers, program analysis, program transformation, operating systems, networking, and security. I proposed, and along with colleagues Peter G. Neumann (SRI International), Simon W. Moore (Cambridge), and Peter Sewell (Cambridge), lead, the CHERI architecture project, a new processor protection model now being incorporated into Arm's forthcoming Morello processor, SoC, and board.
I teach in the areas of security and operating systems across our undergraduate and masters degrees. I have a resarch team of around a dozen PhD students, postdocs, and research engineers working across a variety of research areas. I have strong interests in open-source software, am on the board of directors of the FreeBSD Foundation, and have contributed extensively to the FreeBSD Project. I am a coauthor on the Design and Implementation of the FreeBSD Operating System (second edition) published by Pearson.
