Prix Ackermann 2024

The Ackermann Award is the European Association for Computer Science Logic Outstanding Dissertation Award for Logic in Computer Science. It is named after the German mathematician and logician Wilhelm Ackermann known for his work in mathematical logic and the Ackermann function.

For 2024, two former students of the department (admission 2015) are awarded:

  • Gaëtan Douéneau-Tabot for his dissertation Optimization of string transducers supervised by Olivier Carton and Emmanuel Filiot at Université Paris-Cité (France),
  • Aliaume Lopez for his dissertation First Order Preservation Theorems in Finite Model Theory: Locality, Topology, and Limit Constructions supervised by Jean Goubault-Larrecq (Université Paris-Saclay, ENS Paris-Saclay, LMF) and Sylvain Schmitz (Université Paris-Cité, IRIF).

More ...