Cette page regroupe les activités, programmes et réseaux auxquelles en lien avec le calcul quantique auxquels participent l'IRIF, ainsi que les principales membres permanents impliqués depuis janvier 2023.

Principaux axes de recherche liés au calcul quantique

En calcul quantique, l’IRIF est principalement reconnu pour ses contributions portant sur la conception et l’analyse d’algorithmes, l’étude des modèles de calculs, et les fondements des langages de programmation. De plus, en 2014, l’IRIF a co-fondé à Paris le Paris Centre for Quantum Computing (PCQC). Ce centre regroupe des informaticiens, des physiciens théoriciens et expérimentaux et des mathématiciens qui travaillent à Paris et en région parisienne.

Plus précisément, deux équipes de l'IRIF sont plus particulièrement actives sur ce domaine de recherche :

  • L’équipe Algorithmes et complexité conçoit des algorithmes quantiques pour de nouvelles applications et établit leurs limites.
  • L’équipe Preuves et programmes construit les fondements théoriques des langages de programmation quantique.

Principaux membres permanents de l'IRIF concernés

Réseaux académiques

Graduate School QuanTech d'Université Paris Cité

La Graduate School Quantum Technologies d'Université Paris Cité forme ses étudiant·es au travers d’une base de connaissances solides dans le domaine de l’information et des technologies quantiques. Les compétences développées pendant cette formation, assurent aux étudiant·es une variété d’opportunités dans ce domaine en pleine effervescence, allant du monde de l’entreprise à celui de la recherche via une formation doctorale.

GdR TeQ

Le groupement de recherche du CNRS Technologies Quantiques fait suite au GdR Ingénierie Quantique, des Aspects Fondamentaux aux Applications (IQFA) depuis 2023.

Le GdR IQFA, soutenu par les Instituts de Physique (INP), Sciences de l’Ingénierie et des Systèmes (INSIS), et Sciences de l’INformation et de leurs Interactions (INS2I) du CNRS, regroupe plus de 50 laboratoires participants. Ce sont donc au total plus de 70 équipes intéressées par les actions menées dans le cadre de ce GDR.

GdR IM

Le groupement de recherche du CNRS Informatique Mathématique héberge depuis 2006 un Groupe de Travail Informatique Quantique. Le GT IQ regroupe la communauté informaticienne française dont les travaux ou les intérêts portent sur l’Informatique Quantique en général. L’une des principales missions du GT IQ est de créer une synergie de sa communauté dispersée dans 20 laboratoires dans le but de renforcer le nombre de sites français à reconnaissance internationale sur la thématique de l’Informatique Quantique.

DIM IdF QuanTiP

Le réseau francilien QuanTiP – Quantum Technologies in Paris Region – porté par le CNRS et coordonné par Hélène Perrin, du Laboratoire de physique des lasers (LPL – CNRS/Université Sorbonne Paris Nord), a été labellisé Domaine de recherche et d’innovation majeur (DIM) par la Région Île-de-France pour une durée de cinq ans. Il fédère dans le domaine compétitif des technologies quantiques un ensemble d’équipes académiques au meilleur niveau mondial et un vivier de startups et d’entreprises franciliennes, à même de favoriser la transition entre recherche fondamentale et valorisation, afin de faire émerger des innovations de rupture et de nouvelles applications et d’accélérer le transfert de technologies quantiques vers l’industrie.

Plan national

PEPR Technologies quantiques

Le projet EPIQ – Quantum Software se concentre sur la spécification et la compréhension des briques logicielles nécessaires au bon fonctionnement d’un processeur quantique (compilation, manipulations, optimisation, langages intermédiaires, certification, etc.). Il vise également a développer de nouveaux algorithmes quantiques dans des domaines comme l’apprentissage machine (Machine Learning), l’optimisation ou la chimie, ainsi qu’à faciliter la simulation des machines actuelles pour mieux comprendre leur fonctionnement.

En particulier l'IRIF est impliqué dans les axes

  • Algorithmes : Appréhender les avantages comme les limites de l’informatique quantique que ce soit au travers de recherches sur la complexité quantique ou de découvertes et d’améliorations d’algorithmes.
  • Langages, méthodes formelles et modèles de calculs pour l’informatique quantique : Définir le cadre dans lequel se feront les calculs quantiques grâce à l’introduction de langages de haut niveau, la comparaison de modèles de calcul et l'exploitation de leurs relations pour optimiser l’exécution de programmes.
Plateformes de calcul

Plateforme HPCQS

Le projet High-Performance Computer and Quantum Simulator hybrid (HPCQS) vise à intégrer deux simulateurs quantiques, contrôlant chacun plus de 100 qubits dans des superordinateurs situés dans deux centres européens de calcul haute performance en France et en Allemagne.

En joignant ses efforts à ceux du monde universitaire, des organismes de recherche et de technologie et de l'industrie, l'Europe développe sa compétitivité technologie pour les applications nécessitant des simulations complexes et la résolution de problèmes d'optimisation. Le projet HPCQS joue un rôle clé en permettant aux entités de recherche et aux industries d'exploiter les technologies quantiques.

Plateforme HQI

HQI est une initiative intégrée. Elle associe une plateforme de calcul hybride couplant plusieurs technologies quantiques au supercalculateur Joliot Curie de GENCI au TGCC (CEA), et un programme de recherche – académique et industrielle, et de dissémination des usages.

L’initiative HQI vise à servir les besoins des chercheurs académiques et industriels français et européens, voulant évaluer gratuitement sur une infrastructure publique le potentiel du calcul quantique pour leurs applications ainsi qu’à développer des collaborations internationales pour favoriser la recherche ouverte.