Professor Peter Sewell MA MSc PhD


  • Professor in Computer Science, &
  • EPSRC Leadership Fellow, CU Computer Laboratory

Peter Sewell is a Professor of Computer Science and an EPSRC Leadership Fellow at the University of Cambridge Computer Laboratory.

He held a Royal Society University Research Fellowship from 1999-2007 and took his PhD in Edinburgh in 1995, supervised by Robin Milner.

Before that he studied Natural Sciences and Engineering in Cambridge and has an MSc in Computation from Oxford. He was Director of Studies in Computer Science for Wolfson from 1998-2008.

His research aims to build mathematically rigorous foundations for the engineering of real-world computer systems, to make them better-understood, more robust, and more secure. Recently, he and his colleagues have focussed on the relaxed-memory concurrency models of multiprocessors and concurrent languages (x86, ARM, IBM Power, and C/C++11), on verified compilation of concurrency, and on tools for applied semantics. He previously worked on various topics in programming languages, network protocols, security, and concurrency theory.

Here are further details of his research and teaching.