Speaker: Peter Sewell
Peter Sewell is a Professor of Computer Science and ERC Advanced Grant holder at the University of Cambridge Computer Laboratory. His research aims at establishing mathematically 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 and instruction-set architectures of multiprocessors and concurrent languages (x86, ARM, RISC-V, IBM Power, and C/C++11), on the semantics of C, on the CHERI architecture for improved system security, on verified compilation of concurrency (CompCertTSO), and on tools for applied semantics. He has also worked on programming languages, network protocols, security, and concurrency theory.