Service de Mathématiques Effectives

Analyser, comprendre et diriger des systèmes complexes via le prisme formel des mathématiques et de l'informatique.

Le service de Mathématiques Effectives est un groupe de recherche à l'intersection des mathématiques et de l'informatique, porté par Thomas Brihaye (Professeur Ordinaire, chef de service) et Mickaël Randour (Chercheur Qualifié F.R.S.-FNRS, Chargé de Cours). Nous nous intéressons à l'analyse, la compréhension et le contrôle de systèmes complexes, dans des domaines variés (informatique, économie, santé, etc). Nos compétences principales touchent aux méthodes formelles, à la théorie des jeux, à l'intelligence artificielle, ou encore à l'optimisation.

Ce service fait partie du Département de Mathématique.