Effective Mathematics Team

Members and associated members

• Thomas Brihaye (Professor)
• Julie De Pril (PhD student F.R.S.-FNRS)
• Marc Ducobu (PhD student FRIA)
• Cédric Rivière (Assistant)

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
• Conception of efficient algorithms for verification (based on antichains).

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