Aline

Goeminne

As of September 2025, I am a Maître de conférences (~ Assistant Professor) in the Computer Science Department at ENS Rennes, France. I am part of the DEVINE team, at IRISA.

From October 2022 to August 2025, I was an F.R.S.-FNRS postdoctoral researcher, in the team of Thomas Brihaye at UMONS in Belgium. 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 (from October 2017 to April 2021), I was co-supervised by Thomas Brihaye at UMONS and by Jean-François Raskin at ULB, in Belgium.

My research interests lie in the fields of Game Theory and Formal Verification. In particular, I am interested in:

  • (multiplayer) games played on graphs
  • (multiplayer) timed games
  • applications of game theory, e.g., in logistics
Context and summary about my past research are available [here].