skip to content

Department of Computer Science and Technology

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


Contact Details

Office phone: 
(01223) 7-63569