Peter Sewell

Professor of Computer Science and EPSRC Leadership Fellow, 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


Jobs

We expect to recruit several more postdoctoral researcher and postgraduate research engineer positions for the REMS project over the next few years.

Teaching


Research

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)

Funding

Meetings


People

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


Other

Linepithema humile

Some tangible things

Litmus Test shop

Another photo


[Validate this page.]