Activités de recherche
Sujets de recherche
- Théorie des modèles de structures algébriques (groupes, anneaux, champs…)
- Identités dans les groupes
- Problèmes de décidabilité dans les modules
- Méthode de Büchi (automates et problèmes de décidabilité en arithmétique)
- Machines de Blum-Shub-Smale
- Systèmes hybrides
Notre service est, par ailleurs rattaché à un institut de recherche de l’UMONS :