L'équipe de recherche Inria/QuaCS est spécialisée dans les outils formels pour raisonner sur le calcul quantique. Dans cet exposé
je présenterai les grandes lignes directrices de recherche de l'équipe de l'université Paris Saclay: l'aspect langage (syntactique et graphique), l'aspect spécifications et preuves, et l'aspect modèle de calcul.
Lieu : salle CP-NA-01-62 à l'ONERA Palaiseau
Lien visio : https://rdv.onera.fr/SeminaireARF_CQUOI