Effective Mathematics Team

Members and associated members

• Aaron Bohy (PhD student ARC project)
• Thomas Brihaye (Professor)
• Julie De Pril (PhD student F.R.S.-FNRS)
• Marc Ducobu (PhD student FRIA)
• Morgane Estiévenart (PhD student FRIA)
• Noémie Meunier (PhD student F.R.S.-FNRS)
• Mickael Randour (PhD student F.R.S.-FNRS)
• Cédric Rivière (Professor)

Research

Our main research interests include:

• Verification of timed and hybrid systems
• Control of timed and hybrid systems
• Game theory and its application to verification CASSTING project
• Conception of efficient algorithms for verification (based on antichains).
• Application of game theory to microfinance MIGA project

Our publications

Teaching (in French)

We teach the following courses:

• 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