|
| Name: |
Professor PM Sewell |
| Organisation: |
University of Cambridge |
| Department: |
Computer Science and Technology |
| Current EPSRC-Supported Research
Topics: |
|
| Current EPSRC Support |
| There is no current EPSRC Support |
| Previous EPSRC Support |
| EP/K008528/1 | REMS: Rigorous Engineering for Mainstream Systems | (P) |
| 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
|
| |
|
|
|
|