MOCQUA

MOdèles de Calcul classiques et QUAntiques

Département 2 : Méthodes formelles

Responsable de l’équipe : Emmanuel Jeandel
Tél. : +33 3 54 95 84 22
Mail : emmanuel.jeandel@loria.fr

Site de l’équipe

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

En ce moment

Colloquium Loria 2018

Exposés précédents

Logo du CNRS
Logo Inria
Logo Université de Lorraine