I am a first-year PhD student in mathematics and computer science. I am cosupervised by Mickael Randour from the Effective Mathematics Team at the University of Mons and by Patricia Bouyer-Decitre from the Laboratoire Spécification and Verification at the ENS 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.
- 2019: Theory and Algorithms in Graph and Stochastic Games (Université de Mons, Belgium), Mardi des Chercheurs (poster presentation) (Université de Mons, Belgium).
- 2018: FoPSS Logic and Learning School (University of Oxford, UK), MOVEP'18 (ENS Paris-Saclay, France), ICFP'18 (St. Louis, Missouri, United States).
- 2017: Computers in Scientific Discoveries 8 (Université de Mons, Belgium).