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).