I am currently an F.R.S.-FNRS postdoctoral researcher. I am supervised by Thomas Brihaye in the Department of Mathematics of the University of Mons (UMONS).

From October 2021 to September 2022, I was a CNRS postdoctoral researcher at Irisa, Rennes (France), in the SUMO team. I worked with Nicolas Markey and Ocan Sankur on Timed Network Congestion Games.

During my PhD thesis (October 2017 to April 2021), I was co-supervised by Thomas Brihaye in the Department of Mathematics of the University of Mons (UMONS) and Jean-François Raskin in the Computer Science Department of the Université libre de Bruxelles (ULB).

My research interests lie in the fields of Game Theory and Formal Verification. In particular, I am interested in the synthesis of equilibria in multi-player non-zero sum games (e.g., Nash Equilibria, Subgame Perfect Equilibria and weak Subgame Perfect Equilibria). Context and summary about my research are available [here]

Curriculum vitae: in English (updated on December 10, 2024) or in French (updated on May 06, 2024).

My publications
My talks (with slides).

• 2025: CSL'25 (Amsterdam, The Netherlands).
• 2024: Highlights'24 (Bordeaux, France).
• 2023: RP'23 (Nice, France), Highlights'23 (Kassel, Germany), Autobóz'23 (Kassel, Germany).
• 2022: LAMAS&SR'22 (Rennes, France), FORMATS'22 (Online), CONCUR'22 (Online).
• 2021: GT Verif 2021 (Online), FORMATS'21 (Online), CONCUR'21 (Online).
• 2020: Highlights'20 (Online), FORMATS'20 (Online), MOVEP (Online).
• 2019: Grascomp Doctoral Day (GDD’19) (Namur, Belgium), Highlights'19 (Warsaw, Poland), RP'19 (Bruxelles, Belgium), CONCUR'19 (Amsterdam, Netherlands), Theory and Algorithms in Graph and Stochastic Games (Mons, Belgium), Mardi des Chercheurs 2019 (Mons, Belgium).
• 2018: GandALF 2018 (Saarbrücken, Germany), HIGHLIGHTS 2018 (Berlin, Germany), MOVEP (ENS Cachan, France), MoRe at FLoC 2018 (University of Oxford, UK), Logic and learning at FoPPS 2018 (University of Oxford, UK), GT Verif 2018 (VERIMAG, Grenoble, France) .
• 2017: Highlights 2017 (London, UK) .

Teaching

Mathématiques effectives	Teacher	Maths: 4th year	September 2023 - August 2024	I give the theoretical lectures for the "Projet de mathématiques effectives" course (UMONS).
Calculability and complexity	Teaching Assistant	4th year	September 2019 - December 2021	I give exercise sessions of the "Calculability and complexity" course (ULB) given by Jean-François Raskin.
Mathématiques effectives	Teaching Assistant	Maths: 4th year	September 2018 - June 2021	I give exercise sessions of the "Mathématiques effectives" course - a course about Game Theory given by Thomas Brihaye.

Introductory research internship

• Gaëtan Staquet -- August 2018
  • Subject: "Algorithmes efficaces pour le calcul d'équilibres de Nash".
  • Other co-supervisors: Thomas Brihaye, Véronique Bruyère and Hadrien Mélot.
• Nicolas Lecomte -- August 2020
  • Subject: "Théorie des perspectives et théorie des jeux ".
  • Other co-supervisor: Thomas Brihaye

Master's thesis

• Louise Sadoine -- 2019-2020
  • Subject: " Les théories des perspectives appliquées aux jeux sous forme normale "
  • Other supervisor: Thomas Brihaye

You can contact me by:

• E-mail: aline.goeminne [at] umons.ac.be