| EPSRC Reference: |
GR/S30818/01 |
| Title: |
Modelling Irreversible Quantum Computation |
| Principal Investigator: |
Altenkirch, Dr T |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
School of Computer Science |
| Organisation: |
University of Nottingham |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 October 2003 |
Ends: |
30 September 2006 |
Value (£): |
59,387
|
| EPSRC Research Topic Classifications: |
| Algebra & Geometry |
Fundamentals of Computing |
| Mathematical Physics |
Quantum Optics & Information |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Our goal is to build a high level model of irreversible quantum computations using tools from category theory which is sound from a physical poi view. The emphasis on irreversible quantum processes arises independently in the mathematical modeling of quantum physics and In recent re on computational models of quantum computing.The structure of this model will give a rise to a high level programming language. Using this language quantum computations can be studied wi having to refer to low level semantics all the time - we hope that this will give rise to new potential applications of quantum computers. From a computational point of view irreversibly of quantum computations is essential for a natural high level structure (i.e. to establish the existence of t order computations and recursion) and it is natural from the view of quantum information theory.
|
|
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.nottingham.ac.uk |