Equipe-projet

QUACS

Structures de calcul quantique
Structures de calcul quantique

L'encodage d'informations dans des systèmes quantiques et leur manipulation promettent de grands avantages, avec trois domaines d'application principaux : la cryptographie quantique, la simulation quantique et l'algorithmique quantique. Pour comprendre ses forces et ses limites, nous adoptons une position transversale et cherchons à saisir les ressources qui nous sont accordées par la nature, au niveau fondamental, dans l'intérêt du calcul (par exemple, le parallélisme quantique et spatial).

Pour ce faire, nous faisons abstraction de la capacité de calcul de la physique pour la transformer en modèles formels de calcul quantique (par exemple, automates quantiques et modèles de réécriture de graphes). Nous verbalisons ensuite ses principales structures sous forme de langages de programmation quantique (par exemple, lambda-calcul quantique, algèbre de processus). En fait, ce processus va dans les deux sens, lorsque les développements des langages de programmation quantique conduisent à la découverte de nouvelles structures qui peuvent ou non être compilées dans des modèles formels de calcul quantique, soulevant la question parfois fascinante de la physicalité de ces ressources.

Centre(s) inria
Saclay - Île-de-France
En partenariat avec
Université Paris-Saclay,CentraleSupélec,ENS Paris-Saclay

Membres

Responsable de l'équipe

Marine Lemercier

Assistant(e) de l'équipe