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 :