xOur data center is currently experiencing power issues. Our colleagues are working hard to resolve the issue and keep downtime to a minimum.
Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Peter Sewell

Registered user since Wed 14 Sep 2016

Name:Peter Sewell
Bio:

Peter Sewell is Professor of Computer Science and EPSRC Leadership Fellow at the University of Cambridge Computer Laboratory. He held a Royal Society University Research Fellowship from 1999-2007, and took his PhD in Edinburgh in 1995, supervised by Robin Milner, after studying in Cambridge and Oxford. His research aims to build rigorous foundations for the engineering of real-world computer systems, to make them better-understood, more robust, and more secure. He and his colleagues have recently focussed on the relaxed-memory concurrency models of multiprocessors and concurrent languages (x86, ARM, IBM Power, and C/C++11), on verified compilation of concurrency (CompCertTSO and the concurrency compilation schemes from C/C++11 to x86, Power, and ARM), and on tools for applied semantics. He previously worked on various topics in programming languages, network protocols, security, and concurrency theory.

Affiliation:University of Cambridge

Contributions

ICFP 2016 Committee Member in External Review Committee within the Research Papers-track
Show activities from other conferences

ICFP 2016-profile
View general profile