Ackermann Award 2024
The Ackermann Award 2024 is bestowed on
Gaëtan Douéneau-Tabot
for the thesis
Optimization of string transducers
Supervised by Olivier Carton and Emmanuel Filiot at Université Paris-Cité (France)
AND
Aliaume Lopez
for the thesis
First Order Preservation Theorems in Finite Model Theory: Locality, Topology, and Limit Constructions
Supervised by Jean Goubault-Larrecq and Sylvain Schmitz at ENS Paris-Saclay and Université Paris-Cité (France), respectively.
A detailed report is published in the CSL 2025 proceedings.
The 2024 Ackermann award is presented to the recipients at the annual conference of the EACSL, CSL 2025, in Amsterdam.
The Jury consisted of
- Albert Asterias (Technical University of Catalonia),
- Christel Baier (TU Dresden),
- Andrej Bauer (University of Ljubljana),
- Maribel Fernandez (King’s College London), president of EACSL,
- Joost-Pieter Katoen (RWTH Aachen University), ACM SigLog representative,
- Delia Kesner (IRIF, U Paris Cite),
- Slawomir Lasota (U Warsaw),
- Florin Manea (U Göttingen), vice-president of EACSL,
- Prakash Panangaden (McGill University).