|
| Name: |
Professor D Aspinall |
| Organisation: |
University of Edinburgh |
| Department: |
Sch of Informatics |
| Current EPSRC-Supported Research
Topics: |
|
Artificial Intelligence
|
Computational Linguistics
|
|
Computer Sys. & Architecture
|
Fundamentals of Computing
|
|
Socio Legal Studies
|
Software Engineering
|
|
| Current EPSRC Support |
| EP/V038699/1 | Dijkstra's Pipe: Timing-Secure Processors by Design | (C) |
| EP/T027037/1 | AISEC: AI Secure and Explainable by Construction | (P) |
|
| Previous 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) |
| 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
|
| |
|
|
|
|