|
| Name: |
Professor T Melham |
| Organisation: |
University of Oxford |
| Department: |
Computer Science |
| Current EPSRC-Supported Research
Topics: |
|
Fundamentals of Computing
|
Software Engineering
|
|
| Current EPSRC Support |
| EP/V000225/1 | SCorCH : Secure Code for Capability Hardware | (P) |
|
| Previous EPSRC Support |
| EP/M506977/1 | Institutional Sponsorship for Quantum Technologies 2014- University of Oxford | (P) |
| EP/E026745/1 | Abstraction Discovery and Refinement for Model Checking Partially Ordered State Spaces | (P) |
| EP/D037085/1 | Centre for Metacomputation | (C) |
| GR/S86037/01 | Network: Symmetry and Search Network | (C) |
| GR/L38530/01 | DYNAMIC SYNTHESIS OF CORRECT HARDWARE | (P) |
| GR/K25038/01 | USER INTERFACE DESIGN FOR MECHANIZED THEOREM PROVING | (P) |
|
|
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator
|
| |
|
|
|
|