| EPSRC Reference: |
GR/R84283/01 |
| Title: |
Geoemtry of Interaction and the Foundations of Reversible and Quantum Computing |
| 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: |
15 April 2002 |
Ends: |
14 April 2005 |
Value (£): |
153,649
|
| EPSRC Research Topic Classifications: |
| Algebra & Geometry |
Fundamentals of Computing |
| Mathematical Analysis |
|
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
SummaryDescribe the proposed research in about 200 words.We will develop a structural approach to quantum computing, using ideas from Geometry of Interaction and Linear Logic. We will seek a form of CurryHoward correspondence for quantum computation, and more generally to develop logics, type theories and process calculi with a quantum-computational interpretation, as a basis for a high-level approach to programming quantum computations. The semantic and logical basis for these formalisms will come from a quantum version of Geometry of Interaction.The mathematical aspects of these models will be studied using tools from inverse semigroup theory and category theory.We will also seek implicit characterizations of quantum complexity classes, similar to what has been done for classical complexity classes with logical systems such as Light Linear Logic. We will also be concerned to relate our high-level approach to concrete issues in quantum algorithms and implementation.
|
|
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 |