Service d'Informatique Théorique

Le Service d'Informatique Théorique fait partie du Département d'Informatique de la Faculté des Sciences de l'UMONS. Il participe aux activités de recherche et d’enseignement dans le domaine de l’informatique théorique : méthodes formelles pour la vérification et la synthèse de systèmes informatiques (recherche) et structures de données, compilation, calculabilité (enseignement).

Le Service d'Informatique Théorique fait partie de deux instituts de recherche de l'UMONS : Complexys (Institut de recherche sur les systèmes complexes) et InforTech (Institut de recherche en technologies de l'information et sciences de l'informatique).