Funding
- ELVER-CHECK: ERC-2024 Proof of Concept Grant, 2024-2025
- SAFER: Secure Foundations: Verified Systems Software Above Full-Scale Integrated Semantics, ERC / UKRI Frontier Guarantee Advanced Grant, 2024-2029
- VERSE: Verification Engineering for Real-world Software Engineers). With Galois (prime contractor), EPFL, Lockheed Martin, Lynx, UIUC, UMass, UMD, UPenn, 2024-2027
- DSbD: Digital Security by Design Technology
Platform Prototype, Innovate UK, with Arm, Robert Watson and Simon
Moore at Cambridge, Ian
Stark at Edinburgh, and Linaro. 2019-2025
- ELVER: Engineering with Logic and Verification: Mathematically
Rigorous Engineering for Safe and Secure Computer Systems, ERC
Advanced Grant, 2018-2024.
- Donation funding from Arm, Google, Intel, and Amazon.
- CHERI Instruction-set-architecture Formal Verification
(CIFV), DARPA, 2018-2021.
- REMS: Rigorous Engineering for Mainstream
Systems.
EPSRC
Programme
Grant EP/K008528/1, 2013-2020.
- IBM Faculty Award, 2017
- ARM Architectural Semantics EPSRC/ARM Industrial
CASE PhD studentship, 2014
- Impact Acceleration Account Knowledge Transfer Fellowship (IAA
KTF), for Kathryn E. Gray, with ARM, 2016-2017
- Semantic
Foundations for Real-World Systems. EPSRC Leadership
Fellowship EP/H005633/1. 2009-2014.
- Reasoning with Relaxed Memory Models
. EPRSC grant EP/F036345. 2008-2012.
Sewell, Parkinson, Fraser, Zappa Nardelli, Sarkar
- NETSEM: Rigorous Semantics for Real Systems
. EPRSC grant EP/C510712. 2005-2008.
Sewell, Wansbrough, Gibbens, Norrish.
- Naming, Distribution, and Versioning: Programming Language Design and Implementation
. EPRSC grant GR/T11715. 2005-2007.
Sewell, Pitts, Wansbrough.
-
PEPITO: Peer-to-Peer Computing: Implementation and
Theory. EC Global Computing project. 2001-2005.
- Wide-area programming: Language, Semantics and Infrastructure
Design. EPRSC grant GR/N24872. 2000-2003.
Sewell, Milner, Leifer.
- Foundations of Distributed Programming: Wide-Area Systems and
Semantics. Royal Society University Research Fellowship 1999-2007.
- Calculi for Interactive Systems: Theory and Experiment.
EPSRC grant 1998-2001.
Gardner, Milner, Sewell.
- CONFER 2 - Concurrency and Functions: Evaluation and Reduction.
ESPRIT Working Group 1997-2000.
[Validate this page.]