Bienvenue sur le site du Projet ANR SoftQPro (ANR-17-CE25-0009) : Solutions logicielles pour l’optimisation des programmes et ressources quantiques.
Partenaires : Atos-Bull, LORIA, CEA Saclay, LRI.
Le projet a débuté en Décembre 2017 pour une durée de 4 ans.
Résumé (en anglais):
Quantum computers can theoretically solve problems out of reach of classical computers. We aim at easing the crucial back and forth interactions between the theoretical approach to quantum computing and the technological efforts made to implement the quantum computer. Our software-based quantum program and resource optimisation (SoftQPRO) project consists in developing high level techniques based on static analysis, certification, transformations of quantum graphical languages, and optimisation techniques to obtain a compilation suite for quantum programming languages. We will target various computational model back-ends (e.g. QRAM, measurement-based quantum computations) as well as classical simulation. Classical simulation is central in the development of the quantum computer, on both ends: as a way to test quantum programs but also as a way to test quantum computer prototypes. For this reason we aim at designing sophisticated simulation techniques on classical high-performance computers (HPC).
This ambitious and original project lies at the interface of three main topics: quantum computation, programming languages and formal methods, and high-performance computing. The proposed consortium answers this challenge by bringing in together 3 complementary academic (LORIA, LRI, and CEA) and 1 industrial (Atos-Bull) partners, experts from diverse horizons, specialists in various aspects of these complementary topics.