Page principale

Bienvenue sur le site de l’équipe MOCQUA.

Notre équipe s’intéresse aux modèles de calcul émergents, dont

  • informatique quantique,
  • calcul d’ordre supérieur,
  • systèmes dynamiques et calcul à précision infinie.

MOCQUA fait partie des équipes associées :

  • TC(Pro)³ : Termination and Complexity Properties of Probabilistic Programs ;
  • QASAR : Quantum Architectures, Small and Reliable.

Consulter le dernier rapport d’activités de l’équipe (document en anglais).