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.