Peter Sewell

Professor of Computer Science and EPSRC Leadership Fellow, Computer Laboratory, University of Cambridge. Fellow of Wolfson college. Member of the Cambridge Programming, Logic, and Semantics Group.

Here are my contact details, and a photo

Principles in Practice

PiP 2014: Principles in Practice will be co-located with POPL 2014 on Saturday 25 January, 2014 in San Diego.

PhD CASE Studentship on ARM architectural semantics

Applications are invited for a fully funded PhD CASE studentship at the University of Cambridge Computer Laboratory, with industrial sponsorship from ARM Ltd; here are more details.

Researcher and Research Engineer Positions in Rigorous Engineering for Mainstream Systems (REMS)

We expect to recruit several more postdoctoral researcher and postgraduate research engineer positions for REMS project (the previous call has closed).

Teaching

Research

My research aims to put the engineering of real-world computer systems on solid foundations, developing techniques -both mathematically rigorous and pragmatically useful- to enable the construction of systems that are better-understood, more robust, and more secure. To do this requires tightly integrated theoretical and practical research, spanning a range of Computer Science. This is, broadly, applied semantics: I work in programming languages, networking, and security, developing and using techniques from semantics, type systems, automated reasoning, and concurrency theory.

Research Topics

Here is my bibtex data.

Funding

ARM Architectural Semantics EPSRC/ARM Industrial CASE PhD studentship, 2012
Semantic Foundations for Real-World Systems. EPSRC Leadership Fellowship EP/H005633/1. 2009-2014.
Reasoning with Relaxed Memory Models . EPRSC grant EP/F036345. 2008-2012. Sewell, Parkinson, Fraser, Zappa Nardelli, Sarkar