Algorithmique quantique

Malgré l’arrivée prochaine de supercalculateurs Exaflopiques, certaines applications resteront inaccessibles. A cette fin, des acteurs majeurs de l’informatique (Google, Microsoft,…) et du calcul haute-performance (ATOS/BULL, IBM,…) étudient le développement de coprocesseurs quantiques permettant d’accéder, en fonction des besoins de l’application, à des ressources de calcul et de mémoire quantiques. Notre recherche porte sur le développement d’algorithmes et d’outils logiciels pour utiliser ces futurs coprocesseurs quantiques avec en particulier :

La définition d'un langage de programmation et d’une chaine de compilation dédiée en les appliquant à des cas concrets d’algorithmes, notamment les algorithmes de calcul haute performance (HPC).
Le développement d'outils de synthèse de circuits quantiques à l'aide d'algorithmes d'algèbre linéaire et d'optimisation numérique.
La simulation d’algorithmes quantiques sur les architectures classiques massivement parallèles.
La certification et la validation de programmes quantiques à l’aide de méthodes formelles.
L’exploration des interactions classique/quantique, à la fois au niveau théorique et au niveau pratique.