Décès de Gilles Dowek, pionnier des méthodes formelles en informatique, à 58 ans
Gilles Dowek, un éminent chercheur en informatique, est décédé le 21 juillet 2025 à l’âge de 58 ans, après une bataille contre le cancer. Il a été reconnu pour ses contributions significatives dans le domaine des méthodes formelles et son engagement en faveur de l’éthique numérique.
Un parcours professionnel remarquable
Au cours de sa carrière, Gilles Dowek a largement contribué à la formalisation des mathématiques et au développement de systèmes de traitement des démonstrations. En 2023, il a reçu le Grand Prix Inria – Académie des sciences pour sa carrière exemplaire.
Engagement en informatique et dans l’éthique
Travaillant principalement sur l’assistant de preuve Rocq (anciennement Coq), il a souligné l’importance d’universalité dans les langages de preuves tout en préservant la vérité mathématique. Il affirmait que ce concept est un universel anthropologique qui doit être préservé dans toutes les preuves.
Le cadre Dedukti
Il a cofondé Deducteam, une équipe dédiée au développement d’un cadre logique nommé Dedukti. Ce cadre permet de formuler des théories communes aux différents systèmes.
Un auteur de vulgarisation
En plus de son travail de recherche, Dowek a également écrit plusieurs livres et contribué à des articles dans des revues telles que Pour la Science. Son rôle au sein du Conseil national du numérique témoigne de son engagement pour une éthique responsable dans le numérique.
Réactions à sa disparition
« Sa clarté de vue, son originalité et sa façon d’expliquer les choses ont marqué plusieurs avis. Sa disparition est une perte importante pour la communauté scientifique mais aussi pour la communauté de l’éthique du numérique. » – Claude Kirchner, président du comité consultatif national d’éthique du numérique.
Un militant pour les droits LGBTQ+
En tant qu’homme engagé, Gilles Dowek a présidé en 1999 l’Association pour la reconnaissance des droits des personnes homosexuelles et trans à l’immigration et au séjour (Ardhis).
—
Auteur : Martin Clavey
Aller à la source
Date de publication : 2025-07-23 00:53:00
Auteur : Cédric Balcon-Hermand – Consulter sa biographie, ses projets et son travail. Cet article a été vérifié, recoupé, reformulé et enrichi selon la ligne éditoriale Artia13, sans reprise d’éléments protégés.
Application officielle :
Téléchargez Artia13 Actualité sur Google Play
Retrouvez également tous nos contenus sur artia13.city
Notre IA contre la désinformation :
Analyzer Fake News – GPT spécialisé conçu par Artia13
Article rédigé, reformulé et vérifié par Cédric Balcon-Hermand selon la ligne éditoriale de l’Association Artia13 : lutte contre la désinformation, respect du droit d’auteur, éthique de l’information et autonomie intellectuelle.
