Summary

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.

Past research

Master's thesis
Mask R-CNN in OCaml [link]
Implementation and optimisation of the Mask R-CNN architecture for image segmentation and classification using OCaml's numerical library Owl. Work produced during an internship at OCaml Labs, University of Cambridge. See my internship report for more details.

Attended events

  • 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).