Service de Mathématiques Effectives

Membres et membres associés

• Aaron Bohy (Doctorant - Projet ARC)
• Thomas Brihaye (Chargé de cours)
• Julie De Pril (Aspirante F.R.S.-FNRS)
• Marc Ducobu (Boursier FRIA)
• Morgane Estiévenart (Boursière FRIA)
• Noémie Meunier (Aspirante F.R.S.-FNRS)
• Mickael Randour (Aspirant F.R.S.-FNRS)
• Cédric Rivière (Chargé de cours)

Recherche

Nos principales activités de recherche sont:

• Vérification de systèmes temporisés et hybrides
• Contrôle de systèmes temporisés et hybrides
• Théorie des jeux et ses applications à la vérification CASSTING project
• Conception d'algorithmes efficaces pour la vérification
• Application de la théorie des jeux à la microfinance MIGA project

Nos publications

Enseignement

Nous assurons les cours suivants:

• Analyse complexe
• Compléments de mathématiques
• Introduction aux variétés différentielles
• Mathématiques discrètes
• Mathématiques effectives (Théorie classique des jeux)
• Questions approfondies de mathématiques effectives