Name:	Professor T Melham
Organisation:	University of Oxford
Department:	Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

EP/Y004736/1 Compilation and Verification of Quantum Software in the Noisy and Approximate Regime (C) EP/W032635/1 Reliable and Robust Quantum Computing (P)

Previous EPSRC Support

EP/V000225/1 SCorCH : Secure Code for Capability Hardware (P) 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