EPSRC logo
Researcher Details
 
Name: Professor D Aspinall
Organisation: University of Edinburgh
Department: Sch of Informatics
Current EPSRC-Supported Research Topics:
Artificial Intelligence Fundamentals of Computing
Information & Knowledge Mgmt Networks & Distributed Systems
Software Engineering

Current EPSRC Support
EP/R007144/1 Academic Centre of Excellence in Cyber Security Research - University of Edinburgh(P)
EP/N014758/1 The Integration and Interaction of Multiple Mathematical Reasoning Processes(C)
EP/L02277X/1 Robustness-as-evolvability: building a dynamic control plane with Software-Defined Networking(P)
Previous EPSRC Support
EP/L011794/1 ProofPeer: Collaborative Theorem Proving(C)
EP/K032666/1 App Guarden: Resilient Application Stores(P)
EP/J001058/1 The Integration and Interaction of Multiple Mathematical Reasoning Processes(C)
EP/H023119/1 The potential of automated reasoning tools to assist the working mathematician(C)
EP/G006032/1 Resource Static Analysis(P)
EP/G020760/1 Knowledge-Based Authentication: Evaluating and Improving(P)
EP/E005713/1 The Integration and Interaction of Multiple Mathematical Reasoning Processes.(C)
EP/D046769/1 Links: Linking Theory to Practice for the Web(R)
EP/C537068/1 ReQueST: Resource Quantification in e-Science Technologies(C)
GR/S01771/01 Platform : The Integration and Interaction of Multiple Mathematical Reasoning Processes(C)
GR/N28436/01 TYPE SYSTEMS FOR RESOURCE-BOUNDED PROGRAMMING AND COMPILATION(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator