EPSRC logo
Researcher Details
 
Name: Dr I Stark
Organisation: University of Edinburgh
Department: Sch of Informatics
Current EPSRC-Supported Research Topics:
Fundamentals of Computing

Current EPSRC Support
EP/K008528/1 REMS: Rigorous Engineering for Mainstream Systems(C)
Previous EPSRC Support
EP/K032666/1 App Guarden: Resilient Application Stores(C)
EP/D046769/1 Links: Linking Theory to Practice for the Web(C)
EP/C537068/1 ReQueST: Resource Quantification in e-Science Technologies(C)
GR/R76950/01 Mathematical Models for Concurrent and Mobile Computation(P)
GR/R04430/01 Reasoning With Names and Identity In Programming Languages(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator