Projects per year
Search results
-
Active
Copy of Secure Foundations: Verified Systems Software Above Full-Scale Integrated Semantics
Stark, I. (Principal Investigator)
1/05/24 → 30/04/29
Project: Research
-
EPOCH: Effectful Programming on Capability Hardware
Lindley, S. (Principal Investigator) & Stark, I. (Co-investigator)
Huawei Technologies Research & Development (UK) Limited
1/09/23 → 31/03/26
Project: Research