Awards

Prix Gilles Dowek 2026 August 25, 2026
Médaille d'argent du CNRS August 25, 2026
Prix du Diplôme ENS Paris-Saclay August 25, 2026

2025

Prix de l'Académie des sciences 2024 pour Gilles Dowek February 13, 2025

2024

Prix Ackermann 2024 November 12, 2024
Prix E.W.Beth pour la thèse d'Aliaume Lopez (promo 2015) September 12, 2024

2023

Gilles Dowek lauréat du Grand prix Inria - Académie des sciences 2023 December 22, 2023
Prix de thèse Gilles Kahn 2022 March 09, 2023
Publications à ALGO 2022 March 09, 2023
Publication à MCU 2022 March 09, 2023
Publication à CPP 2023 March 09, 2023