Peter Sewell is Professor of Computer Science 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, 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, IBM Power, and C/C++11), on verified compilation of concurrency (CompCertTSO and the concurrency compilation schemes from C/C++11 to x86, Power, and ARM), on semantics for C, linking, filesystems, and TLS, and on tools for applied semantics. He previously worked on various topics in programming languages, network protocols, security, and concurrency theory.