Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS
Zawartość zarchiwizowana w dniu 2024-06-18

Quantum Computation, Logic, and Security

Cel

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.

Dziedzina nauki (EuroSciVoc)

Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.

Aby użyć tej funkcji, musisz się zalogować lub zarejestrować

Program(-y)

Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.

Temat(-y)

Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.

Zaproszenie do składania wniosków

Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.

ERC-2012-ADG_20120216
Zobacz inne projekty w ramach tego zaproszenia

System finansowania

Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.

ERC-AG - ERC Advanced Grant

Instytucja przyjmująca

STICHTING RADBOUD UNIVERSITEIT
Wkład UE
€ 2 500 000,00
Koszt całkowity

Ogół kosztów poniesionych przez organizację w związku z uczestnictwem w projekcie. Obejmuje koszty bezpośrednie i pośrednie. Kwota stanowi część całkowitego budżetu projektu.

Brak danych

Beneficjenci (1)

Moja broszura 0 0