Summary
I am co-supervised by Véronique Bruyère in the Computer Science Departement of the University of Mons (UMONS), and Jean-François Raskin in the Computer Science Department of the Université libre de Bruxelles (ULB).
My PhD Thesis started in July 2023 and is part of a research project held by the F.R.S.-FNRS with title "On the verification of rationality and under rationality assumptions, with application to reactive systems". My research interests lie in the field of Game Theory. In particular, I am interested in the rational synthesis and verification in multiplayer non-zero sum games with quantitative objectives.
Research experience
- Subject: Rational synthesis and verification in multiplayer reachability games played on graphs.
- Supervisors: Véronique Bruyère (UMONS) and Jean-François Raskin (ULB).
- Subject: Rational synthesis and verification in multiplayer reachability games played on graphs.
- Director: Véronique Bruyère.
- Subject: Solving generalized parity games using a symbolic representation. My work has been implemented in the tool SPORE and tested for SYNTCOMP.
- Supervisors: Gaëtan Staquet, Clément Tamines, Véronique Bruyère.
Attended events
-
2023
- WG Data, Automata, Algebra, & Logic Day (Journée du GT DAAL) (Paris, France).
- UniVr/UniUd Summer School on Formal Methods for Cyber-Physical Systems (Udine, Italy).
- WG Verification Days (Journées du GT Vérification) (Paris, France).
Teaching
I supervise the project of the "Structures de données II" course (UMONS) given by Véronique Bruyère.
Miscellaneous
- Benelux Algorithm Programming Contest (BAPC) 2022 in Eindhoven: 19th place, first belgian team.
- Northwestern Europe Regional Contest (NWERC) 2022 in Delft.
- Google Hash Code qualification 2021 : 214th team (out of 9004), 4th belgian team. Google Hash Code qualification 2020 : 2463th (out of 10724 teams).
- BattleDev November 2020 : 76th place (out of 4624 participants).