Supervision

Past

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

• 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.