Peter Sewell

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

Here are my contact details, a photo, short bio, and CV


Mark Batty won the 2015 SIGPLAN John C. Reynolds Doctoral Dissertation award and the 2015 CPHC/BCS Distinguished Dissertation Competition for his thesis The C11 and C++11 Concurrency Model.



My research aims to put the engineering of real-world computer systems on better foundations, developing techniques (both mathematically rigorous and pragmatically useful) to make systems that are better-understood, more robust, and more secure. This applied semantics needs tightly integrated theoretical and practical research, spanning a range of Computer Science: I work in architectural description, programming languages, networking, and security, developing and using techniques from semantics, type systems, automated reasoning, and concurrency theory.

Research Projects

Research Topics

I also maintain a page of Action Calculi links.

Recent Papers (with Previous Papers and bibtex data)




Some Coauthors

Jade Alglave Mair Allen-Williams Peter Boehm Gavin Bierman Adam Biltcliffe Steve Bishop Gian Luca Cattani Michael Dales Mike Dodds Matthew Fairbairn Pierre Habouzit Michael Hicks Sam Jansen James Leifer Sela Mador-Haim Luc Maranget Michael Norrish Scott Owens Gilles Peskine Benjamin Pierce Tom Ridge Susmit Sarkar Jaroslav Sevcik Mark Shinwell Michael Smith Thomas Tuerk Viktor Vafeiadis Jan Vitek Keith Wansbrough Stephanie Weirich Francesco Zappa Nardelli Steve Zdancewic

Current RAs

PhD Students


Linepithema humile

Some tangible things


Electric orrery and mirrored-pinhole heliostat

Litmus Test shop

Another photo

[Validate this page.]