Pierre VANDENHOVE

PhD student

About

I am a first-year 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 Spécification and Vérification at the École Normale Supérieure Paris-Saclay. My PhD is funded by the F.R.S-FNRS. My research interests lie in the game-theoretic approach to formal verification 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
LSV, CNRS & ENS Paris-Saclay
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Office
d'Alembert Building, 4th floor
E-Mail
vandenhove (at) lsv.fr