Deducteam is sad to announce that Gilles Dowek, founder of Deducteam and of the Dedukti logical framework, died on 21 July 2025 at 58 years old. He made important contributions not only in logic (unification, automated theorem proving, type theory) but also in quantum programming languages and philosophy. He received several awards from the French Academy of Sciences. He was a brilliant speaker and teacher, and published several books in computer science, logic and philosophy. He has been very active in promoting the teaching of computer science in high school and contributed to the definition of the corresponding cursus. Finally, he supervised or co-supervised many PhD students. We are going to miss his kindness, humour and hindsight.
- Gilles Dowek, un maître en logique porté par le hasard (Le Monde, avril 2017)
- Gilles Dowek, explorateur des méthodes formelles (Inria, novembre 2023)
- Gilles Dowek, parcours inspirant (ENS Paris-Saclay)
- Gilles Dowek: Au carrefour de l'informatique, de la logique et de la philosophie (Université Paris-Saclay, décembre 2024)
- Décès de Gilles Dowek (Laboratoire Méthodes Formelles, 21 juillet 2025)
- Le temps d'un au revoir (Société Informatique de France, 21 juillet 2025)
- Gilles Dowek, informaticien engagé et vulgarisateur, est mort (Le Monde, 21 juillet 2025)
- Disparition de Gilles Dowek, figure majeure de l’informatique et de la pensée scientifique (Inria, 22 juillet 2025)
- L'ENS Paris-Saclay rend hommage à Gilles Dowek (ENS Paris-Saclay, 22 juillet 2025)
- Disparition de Gilles Dowek : hommage à une pensée libre, rigoureuse et engagée (Ministère chargé de l'Enseignement Supérieur et de la Recherche, 22 juillet 2025)
- Hommage à Gilles Dowek (CNRS, 24 juillet 2025)
- Gilles Dowek nous a quittés (Pour la Science, 24 juillet 2025)
- Hommage à Gilles Dowek (Association des Professeurs de Mathématiques de l'Enseignement Public, 26 juillet 2025)