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
-
Finished
Digital Security by Design (DSbD) Technology Platform Prototype
Stark, I. (Principal Investigator)
1/11/19 → 28/02/25
Project: Research
-
Digital Security by Design (DSbD) Technology Platform Prototype
Stark, I. (Principal Investigator)
UK central government bodies/local authorities, health and hospital authorities
1/11/19 → 31/03/24
Project: Research
-
App Guarden: Resilient Application Stores
Aspinall, D. (Principal Investigator), Franke, B. (Co-investigator), Gordon, A. (Co-investigator), Sannella, D. (Co-investigator), Stark, I. (Co-investigator) & Sutton, C. (Co-investigator)
1/09/13 → 31/08/16
Project: Research
-
REMS: Rigorous Engineering for Mainstream Systems
Stark, I. (Principal Investigator)
1/03/13 → 29/02/20
Project: Research
-
-
MOBIUS: MOBIUS-Mobility, Ubiquity and Security for Small Devices
Stark, I. (Principal Investigator), Aspinall, D. (Other) & Sannella, D. (Other)
1/09/05 → 31/08/09
Project: Research
-
MOBIUS: MOBIUS-Mobility, Ubiquity and Security for Small Devices.
Stark, I. (Principal Investigator), Aspinall, D. (Other) & Sannella, D. (Other)
1/09/05 → 31/08/09
Project: Research
-
MOBIUS: MOBIUS-Mobility, Ubiqity and Security for Small Devices
Stark, I. (Principal Investigator), Aspinall, D. (Other) & Sannella, D. (Other)
1/09/05 → 31/08/09
Project: Research
-
ReQueST: ReQueST:Resource Quantification in e-science Technologies.
Sannella, D. (Principal Investigator), Aspinall, D. (Other), Gilmore, S. (Other) & Stark, I. (Other)
1/05/05 → 31/01/09
Project: Research
-
APPSEM II - Applied Semantics II
Stark, I. (Principal Investigator)
1/01/03 → 31/12/05
Project: Research
-
Mathematical Models for Concurrent and Mobile Computation
Stark, I. (Principal Investigator)
1/07/02 → 30/06/07
Project: Research
-
.NET Research Laboratory
Stark, I. (Principal Investigator)
UK industry, commerce and public corporations
15/03/02 → 15/09/02
Project: Research
-
Reasoning with names and identity in programming languages
Stark, I. (Principal Investigator)
27/03/01 → 26/10/04
Project: Research