• # article derrière un paywall

    Posté par  . Évalué à 4 (+2/-0).

    mais on peut retrouver son parcours sur wikipedia.

  • # moinsé ?

    Posté par  . Évalué à 3 (+2/-1).

    Je ne connaissais pas cette personne, j'ai publié le lien parce que l'article du Monde en faisait un bel éloge. Du coup, je m'interroge : le moinssage, c'est par rapport à lui (et dans ce cas, pourquoi ?) ou bien par rapport au fait que je publie un lien sur un article derrière un paywall ?

  • # Annonce sur gdr-ifm

    Posté par  . Évalué à 9 (+8/-0).

    Voici l'annonce faite hier sur la mailing-list du gdr-ifm :

    Bonjour à toutes et à tous,

    C'est avec une immense tristesse que nous avons appris le décès de Gilles Dowek, survenu le 21 juillet 2025 à 58 ans, après plus de 3 ans d'un courageux combat contre un cancer.

    Gilles, directeur de recherche à Inria et professeur attaché à l'ENS Paris-Saclay, était un chercheur de renommée internationale et il est difficile en quelques lignes de recenser ses apports à notre discipline. Ses travaux ont porté sur la formalisation des mathématiques, la théorie des types et de la preuve, les liens entre calcul et déduction, la réécriture, le calcul quantique, etc.
    Ces travaux théoriques, reconnus de première importance, ont impulsé sa recherche sur leur mise à disposition via la conception et le développement d’outils : assistants de preuve (Coq puis Dedukti), création d’algorithmes améliorant la sûreté des systèmes aéronautiques, interopérabilité des preuves formelles, etc.

    Au delà des aspects propres à son métier, Gilles était un informaticien engagé dans la société. Ses contributions relèvent de multiples domaines comme l’éthique, la vulgarisation,l’enseignement dans tous les cursus. Il a notamment contribué très largement à l'introduction de l'option ISN (Informatique et Science du Numérique) au lycée et jusque récemment il était encore très actif au Conseil Supérieur des Programmes.

    Gilles a reçu de très nombreux prix qui démontrent à quel point il était reconnu par ses pairs, par exemple : le Grand prix de philosophie de l'Académie française pour le livre "Les Métamorphoses du calcul" en 2007, le Grand prix Inria - Académie des sciences en 2023, la médaille Histoire des Sciences et Épistémologie de l'Académie des sciences en 2024.

    Enfin, Gilles était un orateur et un enseignant hors pair, avec une pédagogie incomparable, une très grande culture et aussi un débit de parole qui ne vous permettait pas de vous endormir. Il était ouvert à toutes et tous et était le premier à soutenir les plus jeunes. Nombreuses sont les personnes qu'il a inspirées, accompagnées et emmenées avec lui dans ses projets !

    Merci, merci mille fois, Gilles ! T'avoir connu a été une chance, un plaisir mais surtout un honneur.

    Pour finir, nous reprenons un paragraphe écrit en hommage par la SIF (Société Informatique de France), à laquelle Gilles a beaucoup contribué :
    " Il laisse un riche héritage, écrit et filmé, qui traite de questions intemporelles et qui n’a pas fini de nous inciter à réfléchir. Il nous lègue aussi un regard optimiste dénué de tout angélisme, une invitation à poursuivre le développement de notre intelligence humaine les yeux grand ouverts sur le monde ".

    Catherine Dubois, Thérèse Hardin, Olivier Hermant

Envoyer un commentaire

Suivre le flux des commentaires

Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.