EPSRC logo
Researcher Details
 
Name: Professor PM Sewell
Organisation: University of Cambridge
Department: Computer Science and Technology
Current EPSRC-Supported Research Topics:
Fundamentals of Computing

Current EPSRC Support
EP/K008528/1 REMS: Rigorous Engineering for Mainstream Systems(P)
Previous EPSRC Support
EP/H005633/1 Semantic Foundations for Real-World Systems(P)
EP/F036345/1 Reasoning with Relaxed Memory Models(P)
EP/F002718/1 Applied Metarouting Project(C)
EP/C510712/1 NETSEM: Rigorous Semantics for Real Systems(P)
GR/T11715/01 Naming, Distribution and Versioning: Programming Language Design and Implementation(P)
GR/N24872/01 WIDE-AREA PROGRAMMING: LANGUAGE, SEMANTICS AND INFRASTRUCTURE DESIGN(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator