Peter Sewell

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

Here are my contact details, and a photo

Post-doc Position

We are looking for a Post-Doctoral Research Associate to join a lively group working on the semantics of real-world computer systems, with a focus on the relaxed-memory concurrency they exhibit. Here is the advert; the closing date is 4th October 2010.

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. Overseas (non-EU) students may wish to apply to the Gates/CISS/Cambridge Trusts for the additional costs of overseas fees, for which there are annual deadlines. Here is the advert. Formal applications should be made via the usual method through the Board of Graduate Studies (local MPhil students should use the `continuation' form), but please contact me first if you are interested.

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