Pierre VANDENHOVE

PhD student

About

I am 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 is funded by the F.R.S.-FNRS. My research interests lie in the game-theoretic approach to formal verification (especially questions about strategy complexity) and in hybrid models. Before starting my PhD, I obtained my master's degree from the University of Mons.

My personal web page is available here.

About LSV

Contact

Pierre VANDENHOVE
Address
LMF, ENS Paris-Saclay
4, avenue des Sciences
91190 Gif-sur-Yvette, France
Office
Bâtiment Nord, office 1S63
E-Mail
vandenhove (at) lsv.fr