Supervision

Master's Theses

• Kévin Dubrulle, University of Mons (Belgium).
  • Joint supervision with Véronique Bruyère.
  • Academic year 2024 - 2025.
  • Validating a JSON document against a JSON schema modeled as a system of procedural automata, which are an extension of deterministic finite automata able to simulate a stack.

Internships

• Second year (M1) Internship of Gaëtan Hoo, École Centrale de Nantes (France).
  • Joint supervision with Rémi Parrot, and Manon Le Moigne.
  • May to August 2026.
  • Gaëtan worked on generating puzzles as Petri Nets, and on defining and solving an extension of parity games, called modularity games.
• Second year (M1) Internship of Théo Trichet, École Centrale de Nantes (France).
  • Joint supervision with Rémi Parrot.
  • May to August 2026.
  • Théo studied how to improve how my tool ParaGraphs solves QBF (quantified Boolean formulas) instances.
• Research Initiation Internship of Julien Ladeuze, University of Mons (Belgium).
  • Joint supervision with Véronique Bruyère.
  • August 2024.
  • Julien implemented an algorithm studied in my paper Active Leaning of Mealy Machines with Timers to convert a generalized Mealy machine with timers into a regular Mealy machine with timers. The student also performed benchmarks to see whether the expected exponential blowup of the algorithm often occurs in practice.
• Research Initiation Internship of Nicolas Valois and Hugo Venturoso, University of Mons (Belgium).
  • Joint supervision with Véronique Bruyère.
  • August and September 2022.
  • Nicolas and Hugo worked on improving the computation of a data structure used in my publication Validating Streaming JSON Documents with Learned VPAs.
• Research Initiation Internship of Christophe Grandmont, University of Mons (Belgium).
  • Joint supervision with Véronique Bruyère and Clément Tamines.
  • August and September 2021.
  • Christophe worked on solving generalized parity games using binary decision diagrams as a symbolic representation, as a continuation of the work we did for our publication The Reactive Synthesis Competition (SYNTCOMP): 2018 – 2021.