Ian Stark – Projects — University of Edinburgh Research Explorer

View Scopus Profile

Phone+44 131 650 5143
EmailIan.Starked.acuk
Websitehttp://homepages.ed.ac.uk/stark

Accepting PhD Students

If you made any changes in Pure these will be visible here soon.

1 Active
11 Finished

12 results

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