Participation aux jurys de thèse (4)
1.
Hallet, M. (2020). Dynamics on Multi-Player Games Played on Graphs (Thèse doctorale non-publiée). Université de Mons, Faculté de Sciences, Département de Mathématiques - Docteur en Sciences, Faculté des Sciences – Informatique, Mons.
2.
Lhote, N. (2019). Définissabilité et Synthèse de Transductions (Thèse doctorale non-publiée). Université de Bordeaux, Faculté des Sciences – Informatique, Bruxelles.
3.
Poss, M. (2011). Models and algorithms for network design problems (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
4.
Meuter, C. (2008). Development and validation of distributed reactive control systems (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
Président de jurys de thèse (5)
1.
Exibard, L. (2021). Automatic Synthesis of Systems with Data: Synthèse Automatique de Systèmes avec Données (Thèse doctorale non-publiée). Aix-Marseille Université (AMU), Sciences, Laboratoire d'Informatique et Systèmes (LIS) - Doctorat en Informatique, Faculté des Sciences – Informatique, Bruxelles.
2.
Bozianu, R. (2016). Synthèse des systèmes réactifs interactifs (Thèse doctorale non-publiée). Université Paris-Est, Faculté des Sciences et Technologie, LACL, Département d’Informatique - Doctorat en Sciences, Faculté des Sciences – Informatique, Bruxelles.
3.
Violin, A. (2014). Mathematical programming approaches to pricing problems (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
4.
Shirmohammadi, M. (2014). Qualitative analysis of probabilistic synchronizing systems (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
5.
Kalyon, G. (2010). Supervisory control of infinite state systems under partial observation (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.