EPSRC logo

Details of Grant 

EPSRC Reference: EP/C500032/1
Title: High-Level Methods For Quantum Computation and Information
Principal Investigator: Abramsky, Professor S
Other Investigators:
Researcher Co-Investigators:
Professor B coecke
Project Partners:
Department: Computer Science
Organisation: University of Oxford
Scheme: Standard Research (Pre-FEC)
Starts: 01 September 2004 Ends: 31 October 2007 Value (£): 200,329
EPSRC Research Topic Classifications:
Fundamentals of Computing New & Emerging Comp. Paradigms
EPSRC Industrial Sector Classifications:
No relevance to Underpinning Sectors
Related Grants:
Panel History:  
Summary on Grant Application Form
Quantum Information and Computation concerns the use of quantum-mechanical systems to carry out information processing tasks. There have been some spectacular advances in this field over the past few years. However, the methods currently available are too low-level and ad hoc to serve as a basis for more sophisticated designs and applications. Moreover, the standard formalism of quantum mechanics is actually incomplete, in that it does not capture the flow of information from the macroscopic or classical level, where the results of measurements of quantum mechanical systems are recorded, back to the quantum level. This flow, and the accompanying use of 'classical information', plays a key role in quantum protocols such as teleportation.We have made significant advances in addressing these issues. We have developed a categorical axiomatization of quantum mechanics, and used this to give complete formalizations and proofs of correctness of some leading quantum protocols. We have also developed operational, denotational and logical semantics for a programming language combining classical and quantum features. Based on these developments, we propose to develop comprehensive high level methods for quantum computation and information. These will include high-level languages, type systems and logics.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: http://www.ox.ac.uk