| EPSRC Reference: |
EP/E00623X/1 |
| Title: |
NETWORK: Semantics of Quantum Computation |
| Principal Investigator: |
Gay, Professor SJ |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
School of Computing Science |
| Organisation: |
University of Glasgow |
| Scheme: |
Network |
| Starts: |
01 September 2006 |
Ends: |
28 February 2010 |
Value (£): |
55,238
|
| 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 computation (more generally, quantum information processing)has become established as an exciting interdisciplinary research fieldat the intersection of physics, computer science and mathematics. Computing devices based on the laws of quantum physics have the potential to hugely increase our capabilities in both algorithmics and cryptography. The former concerns the design of efficient techniques for solving computational problems; it is possible that quantum computers will enable the solution of previously intractable problems. The latter is important for secure electronic communication; by harnessing quantum effects it is possible to devise absolutely secure cryptosystems, unbreakable even by quantum computers. Theoretical computer scientists have recently found several new and exciting ways to applytheir distinctive techniques to quantum computing; the emphasis is different from previous work on cryptography and algorithm design. Thisactivity includes the design and study of quantum programminglanguages, to support the development of reliable software for quantum computers; the development ofquantum logics to support verification of quantum programs; semanticstudies of the foundations of quantum mechanics; semantics-basedanalysis of information flow in quantum protocols; formalspecification and verification of quantum cryptographic systems. A substantial portion of this research is taking place in the UK. Thepurpose of this network is to build on the existing activity to establish a cohesive community that candevelop into a UK-led international research community.
|
|
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.gla.ac.uk |