Ziel
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.
Wissenschaftliches Gebiet (EuroSciVoc)
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
- Naturwissenschaften Naturwissenschaften Quantenphysik
- Technik und Technologie Elektrotechnik, Elektronik, Informationstechnik Elektrotechnik Hardware Quantencomputer
- Naturwissenschaften Mathematik
- Naturwissenschaften Informatik und Informationswissenschaften Computersicherheit
- Sozialwissenschaften Rechtswissenschaften
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Wir bitten um Entschuldigung ... während der Ausführung ist ein unerwarteter Fehler aufgetreten.
Sie müssen sich authentifizieren. Ihre Sitzung ist möglicherweise abgelaufen.
Vielen Dank für Ihr Feedback. Sie erhalten in Kürze eine E-Mail zur Übermittlungsbestätigung. Wenn Sie sich für eine Benachrichtigung über den Berichtsstatus entschieden haben, werden Sie auch im Falle einer Änderung des Berichtsstatus benachrichtigt.
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
ERC-2012-ADG_20120216
Andere Projekte für diesen Aufruf anzeigen
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Gastgebende Einrichtung
6525 XZ Nijmegen
Niederlande
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.