Aline
Goeminne
I am currently a 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).
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. |