Regular biography
Peter Sewell is a Fellow at the University of Cambridge, affiliated with the Department of Computer Science and Technology. His research interests include Programming Languages, Semantics and Verification, Computer Architecture, Security Systems and Networking. He teaches courses such as Multicore Semantics and Programming and Semantics of Programming Languages. His professional profile can be accessed at https://www.cl.cam.ac.uk/people/pes20, and he can be contacted via email at peter.sewell@cl.cam.ac.uk.
Scholar-generated biography
Peter Sewell is a researcher at the University of Cambridge, focusing on the formal semantics and verification of concurrent and distributed systems. His work addresses the challenges of memory models, concurrency, and security in modern computing architectures. Sewell's research includes the development of rigorous models for x86 and POWER multiprocessors, as well as the formalization of concurrency semantics for ARMv8 and RISC-V. He has also contributed to the design of secure and flexible trust management systems, such as Cassandra, and has explored the verification of compilers for relaxed-memory concurrency. His publications emphasize the use of mechanized metatheory and formal methods to ensure correctness in complex systems.