Gilles Dowek, the 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.
Tributes to Gilles:
- 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)
- In Memoriam: Gilles Dowek (Association for Automated Reasoning, newsletter 148, September 2025)
- Obituary for Gilles Dowek (European Association for Theoretical Computer Science (4 March 2026)
Events dedicated to Gilles:
- Congrès 2026 de la Société Informatique de France, Nancy, 4-5 June 2026
- Colloque en hommage à Gilles Dowek, Gif-sur-Yvette, France, 19 June 2026
- FLoC'26 Workshop Tribute to Gilles Dowek, Lisbon, Portugal, 18 July 2026
- TCS Special Issue on Universality in logic and physics
Some lectures given by Gilles
- How to express a theory in Dedukti, 1st Dedukti school, Nantes, 24-25 June 2022
- Douze leçons de logique (12 vidéos d'environ 1h chacune), January-May 2021
- Deduction modulo rewriting, lecture 1 and 2, 11th International School on Rewriting, Paris, 1-6 July 2019
- Les principes des langages de programmation (10 vidéos de 1h30)
Other videos of Gilles: