Master students

An overview of all the students I have mentored for a Master project (4th year) or a Master thesis (5th year); you might recognize some of them in the team. πŸ˜‰

2023–2024

  • Maximilien Vanhaverbeke (UMONS, 5th year) on formal methods for epidemic modeling.
2022–2023

  • Luca Lani (UMONS, 5th year) on controller synthesis for continuous-state-space models via finite abstractions.
2021–2022

  • ChloΓ© Capon (UMONS, 5th year) on counter-examples in stochastic models.
  • Nicolas Lecomte (UMONS, 5th year) on quantifying distance in synthesis.
  • Dimitri Waelkens (UMONS, 5th year) on multi-objective reinforcement learning.
  • Luca Lani (UMONS, 4th year) on multi-objective reinforcement learning.
2020–2021

  • Allan Dubrulle (UMONS, 5th year) on imperfect information games.
  • James Main (UMONS, 5th year) on alternative strategy models.
  • Dimitri Waelkens (UMONS, 5th year) on multi-objective reinforcement learning.
  • ChloΓ© Capon (UMONS, 4th year) on counter-examples in stochastic models.
  • Nicolas Lecomte (UMONS, 4th year) on window objectives.
2019–2020

  • James Main (UMONS, 4th year) on efficient algorithms for parity games.
2018–2019

  • Pierre Vandenhove (UMONS, 5th year) on many-sided synthesis.
  • Dorian Labeeuw (UMONS, 4th year) on partial solvers for parity games.
  • Dimitri Waelkens (UMONS, 4th year) on learning for synthesis.
2017–2018

  • Florent Delgrange (UMONS, 5th year) on multi-objective stochastic systems.
  • Thomas Carlier (UMONS, 5th year) on reachability problems in stochastic systems.
2016–2017

  • Florent Delgrange (UMONS, 4th year) on beyond worst-case shortest path problems.
2015–2016

  • Simon Olbregts (UMONS, 5th year) on developing a tool suite for synthesis in graph games with window objectives.
2013–2014

  • Alexandre Devaux (UMONS, 5th year) on developing a tool suite for synthesis in graph games and beyond worst-case synthesis.
2012–2013

  • Alexandre Devaux (UMONS, 4th year) on multi-dimension energy games.