We are delighted to announce that two researchers with strong ties to our laboratory have won the Ackermann Award 2024:
A former student at ENS Paris-Saclay, Gaëtan was recognised for his thesis, Optimization of String Transducers, supervised by Olivier Carton (IRIF, Université Paris-Cité) and Emmanuel Filiot (Université Libre de Bruxelles).
Aliaume completed a joint PhD between LMF and IRIF (Université Paris-Cité). His award-winning thesis, First Order Preservation Theorems in Finite Model Theory: Locality, Topology, and Limit Constructions, was supervised by Jean Goubault-Larrecq (LMF) and Sylvain Schmitz (IRIF, Université Paris-Cité).
The Ackermann Award is the Outstanding Dissertation Award for Logic in Computer Science, presented annually by the the European Association for Computer Science Logic (EACSL) during the Computer Science Logic (CSL) conference.
This year’s achievements continue a proud tradition in our laboratory, following in the footsteps of previous Ackermann Award recipients, Marie Fortin (2021) and Amina Doumane (2018).