QuaCS – Structures de calcul quantique

Activité scientifique

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.

Responsable de l’équipe : Pablo ARRIGHI

Membres permanents :

  1. Pablo ARNAULT
  2. Pablo ARRIGHI
  3. Marc DE VISME
  4. Benoît VALIRON
  5. Renaud VILMART

Laboratoire :

Laboratoire Méthodes Formelles (LMF, UMR 9021)
Université Paris-Saclay, CNRS, ENS Paris-Saclay
4, avenue des Sciences
91190 Gif-sur-Yvette, France