Pierre Vandenhove is a Research Associate in the Computer Science Department at UMONS – University of Mons (Belgium). Prior to this position, he was a postdoctoral researcher at LaBRI, Université de Bordeaux, where he collaborated with Nathanaël Fijalkow on the Games for Synthesis project. His PhD, completed in 2023, was jointly supervised by Mickael Randour (UMONS) and Patricia Bouyer (Laboratoire Méthodes Formelles, Université Paris-Saclay). 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.

---