Le prix Ackermann récompense des thèses exceptionnelles en logique informatique lors de la conférence ACSL. Cette année, le prix a été attribué à deux thèses encadrées à l'IRIF : les lauréats sont Gaëtan Douéneau-Tabot, encadré par Olivier Carton et Emmanuel Filiot à l'Université Paris-Cité (France), et Aliaume Lopez, encadré par Jean Goubault-Larrecq et Sylvain Schmitz à l'ENS Paris-Saclay et à l'Université Paris-Cité (France), respectivement. Ils recevront leur prix à CSL 2025, à Amsterdam, qui aura lieu du 10 au 14 février 2025.