Gilles Dowek, directeur de recherche à l'Inria et professeur attaché au département d'informatique de l'ENS Paris-Saclay, est décédé le 21 juillet 2025. Gilles Dowek était un chercheur internationalement reconnu pour ses travaux en logique informatique et théorie de la preuve. C'était aussi un pédagogue charismatique, qui a marqué plusieurs générations de normaliens du département. Ses engagements en faveur de la science informatique ont contribué à l'introduction de cette science dans l'enseignement primaire, secondaire et en classes préparatoires, ainsi qu'à la création en 2022 d'une agrégation en informatique.