|
| EPSRC Reference: |
EP/E006833/1 |
| Title: |
NETWORK: Semantics of Quantum Computation |
| Principal Investigator: |
Dr I Mackie |
| Other Investigators: |
|
| Researcher Co-investigator: |
|
| Project Partner: |
|
| Department: |
Computer Science |
| Organisation: |
King's College London |
| Scheme: |
Network |
| Starts: |
01 June 2006 |
Ends: |
31 August 2007 |
Value (£): |
48,933
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
New and Emerging Computer Paradigms |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary |
Quantum computation (more generally, quantum information processing) has
become established as an exciting interdisciplinary research field at 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 apply their distinctive techniques to quantum computing; the emphasis
is different from previous work on cryptography and algorithm design. This
activity includes the design and study of quantum programming languages, to
support the development of reliable software for quantum computers; the
development of quantum logics to support verification of quantum programs;
semantic studies of the foundations of quantum mechanics; semantics-based
analysis of information flow in quantum protocols; formal specification and
verification of quantum cryptographic systems. A substantial portion of this
research is taking place in the UK. The purpose of this network is to build on
the existing activity to establish a cohesive community that can develop into
a UK-led international research community.
|
| Final Report Summary |
|
No final report summary is available for this grant.
|
| Further Information: |
|
| Organisation Website: |
http://www.kcl.ac.uk |
|
|