POPL 2017
Sun 15 - Sat 21 January 2017
Peter Sewell

Registered user since Wed 14 Sep 2016

Name:Peter Sewell

Peter Sewell is Professor of Computer Science 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), on semantics for C, linking, filesystems, and TLS, 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


Show activities from other conferences

POPL 2017-profile
View general profile