Godzil (./1183) :

Jonas (./1181) :
Gilles Dowek, brillant informaticien et vulgarisateur qui nous quitte trop tôt à 58 ans des suites d'un cancer

Le temps d’un au revoir - Société Informatique de FranceSociété Informatique de FranceLe temps d’un au revoir[1] « Ce dont on ne peut parler, il faut l’écrire »[2] :  Gilles Dowek est mort. Ni périphrase, ni circonlocution : Gilles était attaché à l’emploi des mots justes.…

Jamais entendu parler de lui…

L'« explorateur des méthodes formelles » Gilles Dowek est mort à 58 ans - NextNextGilles Dowek, chercheur en informatique, est mort à l’âge de 58 ans d’un cancer, ce lundi 21 juillet, a annoncé Le Monde. Sur son site, il expliquait s’intéresser « à la formalisation des mathématiques, aux systèmes de traitement des démonstrations, à la physique du calcul, à la sûreté des systèmes aéronautiques et spatiaux, et à […]