Students supervised

Interns

  • Co-supervision (with Thomas Brihaye) of David Chandellier on the safety value in POMDPs (June to July 2026).
  • Co-supervision (with Thomas Brihaye) of Xavier Goubault–Larrecq on the safety value in POMDPs (June to July 2026).
  • Co-supervision (with Sougata Bose and Mickael Randour) of Léonard Bœuf on the strategy complexity of games on infinite arenas (February to July 2026).
  • Supervision of Matéo Torrents on memory requirements of stochastic games (June to July 2024).
  • Co-supervision (with Gabriel Bathie, Nathanaël Fijalkow, and Théo Matricon) of Baptiste Mouillon on LTL learning (March to July 2024).
  • Co-supervision (with Nathanaël Fijalkow, Guillaume Lagarde, and Théo Matricon) of Sylvain Brisset on programmatic reinforcement learning (February to April 2024).
  • Co-supervision (with Nathanaël Fijalkow and Théo Matricon) of Gianni Padula on incremental reactive synthesis (November 2023 to February 2024).
  • Co-supervision (with Mickael Randour) of Jean Abou Samra on automata minimization (June to August 2023).
  • Supervision of Maximilien Vanhaverbeke on succinctness of good-for-games automata (August 2022).
  • Supervision of Luca Lani on strategy complexity of zero-sum games (August 2021).

Supervision of master's theses

Clément Allard (2026, UMONS), Nicolas Melaerts (2026, UMONS), Xavier Goubault–Larrecq (2026, ENS Paris), Amar Hamouma (2025, UMONS), Jordan Demaret (2025, UMONS), Matéo Torrents (2024, ENS Paris).

[Back to main page]