Participations à des congrès et colloques internationaux (1)
1.
Exibard, L., Filiot, E., & Reynier, P.-A. (2019). Reactive Synthesis of Systems over Data Words. Poster présenté à la conférence Journées Nationales du GdR IM 2019 (March 11-14: Orléans).
Direction de thèses (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.
Mazzocchi, N. (2020). Contributions to formalisms for the specification and verification of quantitative properties (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
3.
Lhote, N. (2019). Définissabilité et Synthèse de Transductions (Thèse doctorale non-publiée). Université de Bordeaux, Faculté des Sciences – Informatique, Bruxelles.
4.
Jecker, I. R. (2019). Algorithmic Properties of Transducers (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
5.
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.
Participation aux jurys de thèse (2)
1.
Shirmohammadi, M. (2014). Qualitative analysis of probabilistic synchronizing systems (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
2.
Servais, F. (2011). Visibly pushdown transducers (Thèse doctorale non-publiée). Université libre de Bruxelles, Ecole polytechnique de Bruxelles – Informatique, Bruxelles.
Président de jurys de thèse (2)
1.
Chakraborty, D. (2022). Monte Carlo Tree Search with Advice (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
2.
Berthon, R. (2022). Interplays of Sure, Almost-Sure, and Threshold Parity Objectives on Markov Decision Processes (Thèse doctorale non-publiée). Universiteit Antwerpen, Faculty of Science, Department of Mathematics - Computer Science - Doctor in de wetenschappen: informatica, Faculté des Sciences – Informatique, Bruxelles.