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.