Hommage à Gilles Dowek
Gilles Dowek, directeur de recherche à Inria et membre du Laboratoire Méthodes Formelles (LMF - CNRS/ENS Paris-Saclay/Université Paris-Saclay), est décédé à Paris le 21 juillet 2025 à l’âge de 58 ans. Il laisse derrière lui une œuvre scientifique et intellectuelle à la croisée des mathématiques, de l’informatique et de la philosophie profondément marquée par la volonté de transmettre.
Gilles Dowek soutient sa thèse en 1991 à l’Université Paris 7 (aujourd'hui Université Paris Cité), consacrée à la démonstration automatique dans le calcul des constructions. En 2002, il rejoint l'École polytechnique où il enseigne jusqu'en 2010, puis intègre le Laboratoire Méthodes formelles en tant que chercheur Inria. Il contribue de façon décisive aux travaux sur les systèmes de déduction, la certification des programmes et les fondements logiques de l’informatique. Il participe notamment au développement du cadre logique Dedukti, un système de vérification de preuves conçu pour faciliter l’interopérabilité entre assistants de preuve. Ce travail s'inscrit dans une perspective plus large visant à mieux comprendre les mécanismes de la démonstration formelle et à rendre les outils de vérification accessibles à une communauté scientifique élargie.
Parallèlement à son activité scientifique, Gilles Dowek a toujours accordé une place centrale à la transmission des savoirs. Il enseigne à l’École polytechnique entre 2002 et 2010, puis à l’Université Paris-Saclay où il s’implique fortement dans la formation des enseignantes, enseignants et des futurs scientifiques.
Médiateur passionné, il s’adresse aussi à un public plus large à travers ses ouvrages Les Métamorphoses du calcul : une étonnante histoire de mathématiques – pour lequel il obtiendra le Grand prix de philosophie de l’Académie française en 2007 –, Voulez-vous jouer avec les maths ? et Peut-on croire les sondages ?. Il y explore avec pédagogie les enjeux contemporains des sciences informatiques. Gilles Dowek défend l’idée des sciences informatiques comme pilier de la culture générale, incarnant par ses prises de position un engagement pour une science ouverte et accessible à tous.
Distingué à plusieurs reprises, il reçoit le Grand prix Inria – Académie des sciences en 2023, puis la Médaille Histoire des sciences et Épistémologie en 2024, venant couronner un parcours scientifique et intellectuel exemplaire.
Gilles Dowek laisse une œuvre rigoureuse, éclairante et accessible, ainsi qu’un exemple précieux d’engagement dans la science et dans la société.
Témoignages et hommages :
- Disparition de Gilles Dowek : hommage à une pensée libre, rigoureuse et engagée, par le Ministère chargé de l'enseignement supérieur et de la recherche
- Le temps d’un au revoir, par Sylvie Alayrangues, maîtresse de conférence à l'Université de Poitiers et membre du XLIM, publié par la Société informatique de France
- Disparition de Gilles Dowek, figure majeure de l’informatique et de la pensée scientifique, par Inria