Marie Fortin received the Ackermann Award 2021. The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. EACSL is the European Association for Computer Science Logic.
Marie prepared her thesis Expressivity of first-order logic, star-free propositional dynamic logic and communicating automata at LSV under the supervision of Benedikt Bollig and Paul Gastin.