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.

Infos

Event(s):
35th Chaos Communication Congress, 31. Chaos Communication Congress
Language(s):
English
Track(s):
Resilience, Science
Links:
Home page

Statistics

English
143.1 wpm
792.9 spm
codebitthingthingspeoplememoryhardwarestufftalklaughtersoftwarebehaviouryearsgoodlanguagemathematicalwrongapplausetestworktimebetterlanguagesfactprocessorengineeringsystemcapabilitiesunderstandbadsystemsdesignideaarchitecturehardbuildwriteprograminterfacereadbignumberimagineproofstandardcapabilitywayspointprettymodel
100.0% Checking done100.0%
0.0% Syncing done0.0%
0.0% Transcribing done0.0%
0.0% Nothing done yet0.0%