Pierre VANDENHOVE

My web page has moved; see my new web page here!

About

I was a PhD student cosupervised by Mickael Randour from the Effective Mathematics Team at the University of Mons (UMONS) and by Patricia Bouyer-Decitre from the Laboratoire Méthodes Formelles at the École Normale Supérieure Paris-Saclay. My PhD started in October 2019 and was funded by the F.R.S.-FNRS. I defended my PhD in April 2023. My 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.