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 titled "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.
Publications
Peer-reviewed conference proceedings
- As Soon as Possible but Rationally. Véronique Bruyère, Christophe Grandmont, and Jean-François Raskin. 35th International Conference on Concurrency Theory (CONCUR 2024), LIPIcs 311, Schloss Dagstuhl, 2024. [DOI], [Extended version on arXiv]
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
-
2024
- Highlights of Logic, Games and Automata (Highlights'24) (LABRI, Bordeaux, France), [link to my talk]
- 35th International Conference on Concurrency Theory (CONCUR'24) (Calgary, Canada), [link to my talk]
- MOVEP'24: 16th school on modelling and verification of parallel processes (IRISA, Rennes, France).
- WG Data, Automata, Algebra, & Logic Day (Journée du GT DAAL) (IRISA, Rennes, France), [link to my talk]
- CFV seminar (ULB, Brussels, Belgium), [link to my talk]
- WG Verification (Journée du GT Verif) (IRIF, Paris, France).
- WG Data, Automata, Algebra, & Logic Day (Journée du GT DAAL) (EPITA, Paris, France).
- UniVr/UniUd Summer School on Formal Methods for Cyber-Physical Systems (CISM, Udine, Italy).
Teaching
I supervise labs and 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).