Ma page personnelle a bougé; ma nouvelle page (en anglais) est accessible ici!
J'étais un doctorant co-dirigé par Mickael Randour de l'équipe de Mathématiques Effectives à l'Université de Mons (UMONS) et par Patricia Bouyer-Decitre du Laboratoire Méthodes Formelles à l'École Normale Supérieure Paris-Saclay. Mon doctorat a commencé en octobre 2019 et était financé par le F.R.S.-FNRS. J'ai défendu ma thèse en avril 2023.