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

PhD Thesis

University of Mons (UMONS) and Université libre de Bruxelles (ULB)
July 2023 - Present

Master's thesis

Université de Mons (UMONS)
January 2023 - June 2023
  • Subject: Rational synthesis and verification in multiplayer reachability games played on graphs.
  • Director: Véronique Bruyère.

Research initiation internship

Université de Mons (UMONS)
August 2021 - September 2021

Attended events

Teaching

Structures de données II

Teaching Assistant
3th year
September 2023 - Present
I supervise labs and the project of the "Structures de données II" course (UMONS) given by Véronique Bruyère.

Miscellaneous

Programming contests