Le prix Ackermann est un prix de thèse accordé par l'European Association for Computer Science Logic pour une thèse exceptionnelle soutenue pendant l'année sur un sujet de logique pour l'informatique. Il porte le nom du mathématicien et logicien allemand Wilhelm Ackermann connu pour sa contribution à la logique mathématique et la fonction d'Ackermann.
En 2024, le prix a été accordé exæquo à deux diplômés normaliens du département (promotion 2015) :
- Gaëtan Douéneau-Tabot pour sa thèse Optimization of string transducers dirigée par Olivier Carton et Emmanuel Filiot à l'Université Paris-Cité (France),
- Aliaume Lopez pour sa thèse First Order Preservation Theorems in Finite Model Theory: Locality, Topology, and Limit Constructions dirigée par Jean Goubault-Larrecq (Université Paris-Saclay, ENS Paris-Saclay, LMF) et Sylvain Schmitz (Université Paris-Cité, IRIF).