معرفی
Peter Sewell is a Professor of Computer Science at the Department of Computer Science and Technology, University of Cambridge. He is affiliated with the William Gates Building on JJ Thomson Avenue, Cambridge. His research focuses on Programming Languages, Semantics, Verification, Computer Architecture, Security, and Systems Networking. He teaches advanced courses such as Multicore Semantics and Programming, Proof Assistants, and Semantics of Programming Languages at both MPhil and undergraduate levels.
His research interests emphasize formal methods applied to instruction set architectures (ISAs), concurrency semantics, and secure hardware-software co-design. He has contributed significantly to projects like CHERI (Capability Hardware Enhanced RISC Instructions) and the Arm Morello architecture, advancing memory safety and capability-based security. He also explores axiomatic models for programming languages and their execution on modern relaxed architectures.
Recent articles highlight his work on formal verification of CHERI/C systems, ARM architecture concurrency, and memory safety standards. These publications underscore his commitment to bridging theoretical formalisms with practical hardware implementation. Peter has no listed scientific awards or part-time status in the provided materials. His advising record is not explicitly mentioned here, but his research collaborations likely involve graduate students and teams working on CHERI, Sail semantics language, and related projects. He is actively involved in computational formal verification frameworks like CompCertTSO and SibylFS.
