| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Thu, 08 Jan 2026 11:05:11 GMT
access-control-allow-origin: *
etag: W/"695f8f67-d55"
expires: Sun, 18 Jan 2026 07:56:42 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: E52C:32D844:1B1E88:2013FF:696C8FE1
accept-ranges: bytes
age: 0
date: Sun, 18 Jan 2026 07:46:42 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210080-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768722402.074355,VS0,VE241
vary: Accept-Encoding
x-fastly-request-id: 2065f3cec5cd201d1730212079a9b6bdb2521d52
content-length: 1478
Aline Goeminne
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