Aline

Goeminne

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).

Curriculum vitae: in french (updated on May 06, 2024).


Publications and talks

My publications
My talks (with slides).

Attended events

  • 2025: GT Verif'24 (Lille, France ), 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 and other activities

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
  • 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

Contact

You can contact me by:
  • E-mail: aline.goeminne [at] umons.ac.be