Projektbeschreibung
Die Entwicklung von Softwarewerkzeugen für die Quanteninformatik
Derzeit stehen wir kurz vor einem neuen Computerzeitalter, in dem Quantencomputer in der Praxis eingesetzt werden können. Trotz ihrer beeindruckenden Erfolge bei der physischen Realisierung von Quantencomputern steht die Entwicklung von Softwareinstrumenten und automatisierten Methoden, welche die Konzeption und Umsetzung von Anwendungen für diese Geräte unterstützen, jedoch noch immer am Anfang. Es könnte also passieren, dass wir bald leistungsfähige Quantencomputer haben, sie aber kaum nutzen können. Das EU-finanzierte Projekt DA QC möchte Methoden entwickeln, die eine solche Situation verhindern. Dabei konzentriert es sich vor allem auf die Entwicklung effizienter Methoden und Software für Aufgaben wie die Simulation, Kompilierung, Verifizierung usw.
Ziel
"In the 1970s, researchers started to utilize quantum mechanics to address questions in computer science and information theory—
establishing new research directions such as quantum computing. Now, more than four decades later, we are at the dawn of a new
""computing age"" in which quantum computers indeed will find its way into practical application. However, while impressive
accomplishments can be observed in the physical realization of quantum computers, the development of automated tools and
methods that provide assistance in the design and realization of applications for those devices is at risk of not being able to keep up
with this development anymore—leaving a situation where we might have powerful quantum computers but hardly any proper
means to actually use them.
This project aims to provide a solution for this upcoming design gap by developing efficient and practical relevant methods for
corresponding simulation, synthesis, and verification tasks. While the current state of the art severely suffers from the
interdisciplinarity of quantum computing (leading to the consideration of inappropriate models, inconsistent interpretations, or
""wrong"" problem formulations), this project will build a bridge between the design automation community and the quantum
computing community. This will allow to fully exploit the potential of design automation which is hardly utilized in quantum
computing yet.
Since quantum computers are reaching feasibility, the methods developed within this project will be highly demanded. Preliminary
investigations conducted in preparation of this proposal already showed the potential of such an endeavor and raised significant
attention in the quantum computing community and its ""big players"". The project plans to continue these developments on a larger
scale—eventually providing the foundation for design automation methods that accomplish for quantum computing what the
design automation community realized for classical electronic circuits."
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: https://op.europa.eu/en/web/eu-vocabularies/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: https://op.europa.eu/en/web/eu-vocabularies/euroscivoc.
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Schlüsselbegriffe
Programm/Programme
Thema/Themen
Aufforderung zur Vorschlagseinreichung
(öffnet in neuem Fenster) ERC-2020-COG
Andere Projekte für diesen Aufruf anzeigenFinanzierungsplan
ERC-COG - Consolidator GrantGastgebende Einrichtung
80333 Muenchen
Deutschland