EPSRC Reference: |
EP/C500032/1 |
Title: |
High-Level Methods For Quantum Computation and Information |
Principal Investigator: |
Abramsky, Professor S |
Other Investigators: |
|
Researcher Co-Investigators: |
|
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 |