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.
Monsieur Simon Perdrix (Laboratoire lorrain de recherche en informatique et ses applications)
The author of this summary is the project coordinator, who is responsible for the content of this summary. The ANR declines any responsibility as for its contents.
BULL BULL SAS
CEA Saclay Commissariat à l'Energie Atomique et aux énergies alternatives Centre de Saclay
LORIA Laboratoire lorrain de recherche en informatique et ses applications
UPSud + LRI Laboratoire de Recherche en Informatique - Univ. Paris Sud
Help of the ANR 554,473 euros
Beginning and duration of the scientific project: September 2017 - 48 Months