MOCQUA
MOdèles de Calcul classiques et QUAntiques
Département 2 : Méthodes formelles
Responsable de l’équipe : Simon Perdrix
Tél. : +33 3 54 95 84 73
Mail : Simon.perdrix@loria.fr
Présentation
L’équipe MOCQUA cherche à résoudre les défis provenant des modèles de calcul nouveaux et futurs.
Elle s’intéresse en particulier aux modèles de calcul où les données ne se réduisent pas à des suites finies de bits, comme par exemple le calcul quantique, le calcul à l’ordre supérieur ou le calcul en précision infinie.
Axes thématiques
- Calcul quantique: ZX-calcul, analyse statique, mesure de l’intrication
- Ordre supérieur: calculabilité et complexité, dépendance à la représentation
- Systèmes Dynamiques: calculabilité, tolérance aux fautes.
Collaborations
- Stefano Galatolo (Università di Pisa)
- Peter Gacs (Boston University)
- Cristobal Rojas (Universidad Andrés Bello)
- Ross Duncan (Strathclyde University)
- Klaus Weihrauch (FernUniversitat Hagen)
- Alexander Shen (Université de Montpellier)
- Laurent Bienvenu (Université de Montpellier)
- Daniel Graça (Universidade do Algarve)
- Walid Gomaa (Egypt-Japan University)
- Marco Gaboardi (Buffalo University, SUNY)
Mots-clés :
Calculabilité, complexité, espaces continus, calcul quantique, analyse de ressources, logique, ordre supérieur
