Team

I am lucky to be working with amazing people.

PhD

James Campbell Alexander Main

James is supervised by Mickael Randour (UMONS, Belgium). His PhD is funded by the F.R.S.-FNRS. His research interests lie in the game-theoretic approach to the synthesis of controllers for reactive systems and the models used for the representation of these controllers. He is also interested in timed systems.

  • • controller representation
  • • nature of randomness
  • • game theory
  • • memory bounds

Chloé Capon

Chloé is supervised by Mickael Randour (UMONS, Belgium). Her interests lie in formal methods and in the synthesis of reactive systems. She is also interested in stochastic models.

  • • abstraction mechanisms
  • • counterexamples
  • • controller synthesis

Luca Lani

Luca is a teaching assistant and a PhD student from the Department of IT and Management of UMONS, Belgium, supervised by Mickael Randour and Xavier Siebert. His research focuses on the formal synthesis problem for stochastic systems evolving on continuous state-spaces. He is interested in techniques based on finite abstraction of the system or techniques mixing formal methods and learning approaches.

  • • continuous-state-space MDPs
  • • reinforcement learning
  • • learning with guarantees

Alumni

Pierre Vandenhove

PhD (2019 - 2023)

Now: Research Associate at UMONS, Belgium (starting September 2024).

Pierre was co-supervised by Patricia Bouyer (LMF - ENS Paris-Saclay, France) and Mickael Randour (UMONS, Belgium). His research interests are focused on logic in computer science, and more precisely on automata theory, game theory, formal verification, and controller synthesis for reactive systems. Thesis title: Strategy Complexity of Zero-Sum Games on Graphs.

  • • memory bounds
  • • automata minimization
  • • safe reinforcement learning

Adrien Boiret

Postdoc (2018 - 2019)

Adrien worked with Mickael Randour (UMONS, Belgium) on the F.R.S.-FNRS project ManySynth.

  • • transducers
  • • logic

Frantisek Blahoudek

Postdoc (2018 - 2019)

Fanda (Frantisek) worked with Mickael Randour (UMONS, Belgium) on the F.R.S.-FNRS project ManySynth.

  • • LTL to automata translations
  • • model checking

Quentin Hautem

PhD (2014 - 2018)

Now: Teaching Assistant at UCLouvain, Belgium.

Quentin was co-supervised by Véronique Bruyère (UMONS, Belgium), Mickael Randour (UMONS, Belgium) and Jean-François Raskin (ULB, Belgium). Thesis title: The Complexity of Combining Objectives in Two-Player Games.

  • • memory bounds
  • • complexity bounds
  • • multi-objective games