Prix Ackermann 2024 : deux normaliens lauréats
En 2024, le prix Ackermann a été accordé exæquo à deux diplômés normaliens du département Informatique (promotion 2015). Toutes nos félicitions !
Le prix Ackerman
Ce prix porte le nom du mathématicien et logicien allemand Wilhelm Ackermann connu pour sa contribution à la logique mathématique et la fonction d'Ackermann. Il récompense une thèse soutenue dans l'année sur un. sujet de logique pour l'informatique.
Gaëtan Douéneau-Tabot
Gaëtan Douéneau a intégré l’ENS Paris-Saclay en 2015. «J’y ai construit une formation entre mathématiques et informatique, dans la continuité du parcours maths-info proposé en 1ère année. J’ai notamment passé l’agrégation de mathématiques option informatique (qui a maintenant disparu puisqu’une agrégation propre à l’informatique a été créée). En dernière année, j’ai suivi le Master parisien de recherche en informatique (MPRI), le master français le plus connu dans les domaines de l'informatique fondamentale et de cryptographie.»
À l’issue de sa scolarité à l’ENS Paris-Saclay, il a intégré le corps des Ingénieurs de l’Armement via le concours externe.
Il réalise sa thèse Optimization of string transducers à l’Institut de recherche en informatique fondamentale (IRIF) de l’Université Paris Cité, sous la direction d’Olivier Carton et d’Emmanuel Filiot. Il l'a présentée et soutenue publiquement sa thèse le 23 novembre 2023.
Dans ses travaux de recherche, il s'est intéressé à certains programmes informatiques particuliers appelés "transducteurs finis". Ces programmes ont la particularité d’avoir un espace mémoire très limité pour effectuer leurs calculs. Ils sont utilisés dans de nombreux domaines où la mémoire est une ressource rare, comme le traitement temps-réel de données ou les systèmes embarqués (automates industriels, satellites, etc.). Dans ce contexte, il peut être crucial de minimiser les ressources consommées (mémoire ou temps d’exécution) par un programme. Ses résultats développent donc des méthodes pour les optimiser : «étant donné un programme, on veut construire automatiquement le programme le plus efficace possible (par exemple, celui qui s’exécute le plus rapidement) qui réalise la même tâche. Pour ce faire, j'ai construis une véritable boîte à outils de techniques d’optimisation, en démontrant du même coup des résultats théoriques liés à l'algèbre et à la logique mathématique.»
Il obtient en 2024 le prix Ackermann accordé par l'European Association for Computer Science Logic qui récompense une thèse exceptionnelle soutenue pendant l'année sur un sujet de logique pour l'informatique.
« Je suis très heureux de recevoir le prix de thèse Ackermann. Je considère cette récompense comme un gage de qualité sur mes travaux de recherche, mais surtout comme quelque chose à partager avec mes deux directeurs de thèse, sans qui rien n’aurai été possible. Ils ont toujours été disponibles pour moi, et m’ont donné de précieux conseils et idées, à la fois lorsque tout allait bien, mais aussi lors des moments plus difficiles. Je pense aussi aux personnes avec qui j’ai pu échanger et faire de la recherche, dont (encore une coïncidence) mon co-lauréat Aliaume Lopez, que je connais très bien et avec qui c’est toujours un plaisir de travailler.»
Aliaume Lopez
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).
Aliaume a soutenu sa thèse le 12 septembre 2023 evant un jury composé de :
- Serenella CERRITO, Professeure des Universités, Université Paris Saclay, Univ
- EVRY : Présidente
- Anuj DAWAR - Professeur des Universités, Université de Cambridge : rapporteur & Examinateur
- Patrice OSSONA DE MENDEZ, chargé de Recherche, EHESS : rapporteur & Examinateur
- Arnaud DURAND, Professeur des Universités, Université Paris-Cité : examinateur
- Daniela PETRISAN, Maîtresse de Conférences, Université Paris-Cité : examinatrice
- Luca REGGIO, chargé de Recherche, University College London : examinateur