QCLS
"Quantum Computation, Logic, and Security"
| Coordinatore | STICHTING KATHOLIEKE UNIVERSITEIT
Spiacenti, non ci sono informazioni su questo coordinatore. Contattare Fabio per maggiori infomrazioni, grazie. |
| Nazionalità Coordinatore | Netherlands [NL] |
| Totale costo | 2˙500˙000 € |
| EC contributo | 2˙500˙000 € |
| Programma | FP7-IDEAS-ERC
Specific programme: "Ideas" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) |
| Code Call | ERC-2012-ADG_20120216 |
| Funding Scheme | ERC-AG |
| Anno di inizio | 2013 |
| Periodo (anno-mese-giorno) | 2013-05-01 - 2018-04-30 |
Partecipanti
| # | ||||
|---|---|---|---|---|
| 1 |
STICHTING KATHOLIEKE UNIVERSITEIT
Organization address
address: GEERT GROOTEPLEIN NOORD 9 contact info |
NL (NIJMEGEN) | hostInstitution | 2˙500˙000.00 |
| 2 |
STICHTING KATHOLIEKE UNIVERSITEIT
Organization address
address: GEERT GROOTEPLEIN NOORD 9 contact info |
NL (NIJMEGEN) | hostInstitution | 2˙500˙000.00 |
Mappa
Word cloud
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
Obiettivo del progetto (Objective)
'Quantum computing involves a new computational paradigm based on the laws of quantum mechanics. It uses qubits, which are superpositions of ordinary bits, and exploits the `strange' quantum phenomena like entanglement of qubits. It promises new forms of very fast, distributed computation. First applications are now appearing in computer security, based on the manipulation of individual qubits. The realization of large scale quantum computing, involving multitudes of qubits is still a technological challenge, beyond the scope of this proposal.
Quantum computing originated, understandably, in physics. This project abstracts from this physical level and will transform and develop the relevant phenomena at a mathematical level so that they can be integrated in computational models, logics and formal methods used in computer science. The project will use the unifying language and tools of category theory, which are working as a ``Rosetta Stone' in the multi-disciplinary area of computer science, mathematics and physics. The project will clarify the subtle but fundamental difference between quantum computation/logic on the one hand and probabilistic and non-deterministic computation/logic on the other. This should result in (programming) logics and models that are clear and usable for computer scientists, in particular in the area of (formal methods for) computer security. Overall, the proposal aims to ensure that the discipline of computer science is well-prepared for the (approaching) moment when quantum computing becomes a reality.'