Peter Sewell is a Professor of Computer Science at the University of
Cambridge Computer Laboratory,  a Fellow of Wolfson College, Cambridge,
and a Fellow of the Royal Society. He took his PhD in Edinburgh in
1995, supervised by Robin Milner, after studying in Cambridge and
Oxford.

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