Peter Sewell

Reader in Computer Science, Computer Laboratory, University of Cambridge, and Fellow at Wolfson college.

Here are my contact details, and a photo

PhD Studentships

We are looking for PhD students to work on the semantics of concurrent programs, focussed especially on the relaxed memory models of real-world multiprocessors and programming languages, funded by EPSRC grant EP/H005633 Semantic Foundations for Real-World Systems. This provides maintenance and fees for Home or EU students. Applications should be received as soon as possible, and at least by mid-February 2010. Overseas (non-EU) students may wish to apply to the Gates/CISS/Cambridge Trusts for the additional costs of overseas fees, for which the deadline is December 1st/15th 2009. Applications should be made via the usual method through the Board of Graduate Studies (local MPhil students should use the `continuation' form).

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 are all my papers and software and my bibtex data, and the Cambridge Programming, Logic, and Semantics Group.

Funding

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