Interns

An overview of all the students I have mentored for an internship; you might recognize some of them in the team. 😉

2023–2024
  • Baptiste Hilaire (ENS Paris-Saclay) on decision tree representations of strategies.
2022–2023
  • Jean Abou Samra (ENS Paris-Saclay) on automata minimization.
2021–2022
  • Maximilien Vanhaverbeke (UMONS) on memory requirements in games.
  • Nicolas Lecomte (UMONS) on window objectives.
2020–2021
  • Luca Lani (UMONS) on memory requirements in games.
  • James Main (UMONS) on window timed games.
2018–2019
  • James Main (UMONS) on parity games.
2016–2017
  • Raphaël Berthon (ENS Rennes) on beyond worst-case synthesis.
2015–2016
  • Jean-Baptiste Courtois (ENS Cachan) on beyond worst-case synthesis.