| EPSRC Reference: |
EP/E006833/1 |
| Title: |
NETWORK: Semantics of Quantum Computation |
| Principal Investigator: |
Mackie, Professor I |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
Kings College London |
| Scheme: |
Network |
| Starts: |
01 June 2006 |
Ends: |
31 August 2007 |
Value (£): |
48,933
|
| 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) hasbecome established as an exciting interdisciplinary research field at theintersection of physics, computer science and mathematics. Computing devicesbased on the laws of quantum physics have the potential to hugely increase ourcapabilities in both algorithmics and cryptography. The former concerns thedesign of efficient techniques for solving computational problems; it ispossible that quantum computers will enable the solution of previouslyintractable problems. The latter is important for secure electroniccommunication; by harnessing quantum effects it is possible to deviseabsolutely secure cryptosystems, unbreakable even by quantum computers.Theoretical computer scientists have recently found several new and excitingways to apply their distinctive techniques to quantum computing; the emphasisis different from previous work on cryptography and algorithm design. Thisactivity includes the design and study of quantum programming languages, tosupport the development of reliable software for quantum computers; thedevelopment of quantum logics to support verification of quantum programs;semantic studies of the foundations of quantum mechanics; semantics-basedanalysis of information flow in quantum protocols; formal specification andverification of quantum cryptographic systems. A substantial portion of thisresearch is taking place in the UK. The purpose of this network is to build onthe existing activity to establish a cohesive community that can develop intoa 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: |
|