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