Registered user since Wed 14 Sep 2016
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.
|POPL 2017||Mixed-size Concurrency: ARM, POWER, C/C++11, and SC|
|PiP 2017||Committee Member in Program Committee within the PiP 2017-track|
|Show activities from other conferences|
View general profile