EPSRC logo
Researcher Details
 
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/W032635/1 Reliable and Robust Quantum Computing(P)
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