Gilles Dowek, automated theorem proving pioneer, passed away

3 months ago 3

Passionné par la dimension éthique de sa discipline, le chercheur de l’Inria et professeur attaché à l’ENS Paris-Saclay, est décédé lundi 21 juillet, à l’âge de 58 ans.

Article réservé aux abonnés

L’informaticien Gilles Dowek est mort d’un cancer, à l’âge de 58 ans, lundi 21 juillet, à Paris. Chercheur à l’Institut national de recherche en sciences et technologies du numérique (Inria), professeur attaché à l’ENS Paris-Saclay et ancien enseignant à l’Ecole polytechnique, il a marqué sa discipline sur le plan de la recherche mais aussi sur des aspects moins fréquents, comme l’éthique, la vulgarisation ou l’enseignement.

Il décrivait, dans Le Monde en 2017, son riche parcours comme une succession de hasards. Celui qui le mène à l’informatique est un concours européen pour les jeunes programmeurs dans lequel il arrive en finale à moins de 16 ans. Cela lui ouvre les portes d’un stage auprès de Gérard Huet, qui deviendra quelques années plus tard son directeur de thèse, après l’entrée à Polytechnique, en 1985.

Il vous reste 83.93% de cet article à lire. La suite est réservée aux abonnés.

Vous pouvez lire Le Monde sur un seul appareil à la fois

Ce message s’affichera sur l’autre appareil.

Ajouter un compte Découvrir l’offre Famille Découvrir les offres multicomptes

Parce qu’une autre personne (ou vous) est en train de lire Le Monde avec ce compte sur un autre appareil.

Vous ne pouvez lire Le Monde que sur un seul appareil à la fois (ordinateur, téléphone ou tablette).
Comment ne plus voir ce message ?

En cliquant sur « » et en vous assurant que vous êtes la seule personne à consulter Le Monde avec ce compte.
Vous ignorez qui est l’autre personne ?

Nous vous conseillons de modifier votre mot de passe.
Que se passera-t-il si vous continuez à lire ici ?

Ce message s’affichera sur l’autre appareil. Ce dernier restera connecté avec ce compte.
Y a-t-il d’autres limites ?

Non. Vous pouvez vous connecter avec votre compte sur autant d’appareils que vous le souhaitez, mais en les utilisant à des moments différents.

Parce qu’une autre personne (ou vous) est en train de lire Le Monde avec ce compte sur un autre appareil.

Vous ne pouvez lire Le Monde que sur un seul appareil à la fois (ordinateur, téléphone ou tablette).
Comment ne plus voir ce message ?

Si vous utilisez ce compte à plusieurs, créez un compte pour votre proche (inclus dans votre abonnement). Puis connectez-vous chacun avec vos identifiants. Sinon, cliquez sur « » et assurez-vous que vous êtes la seule personne à consulter Le Monde avec ce compte.
Vous ignorez qui d’autre utilise ces identifiants ?

Nous vous conseillons de modifier votre mot de passe.
Que se passera-t-il si vous continuez à lire ici ?

Ce message s’affichera sur l’autre appareil. Ce dernier restera connecté avec ce compte.
Y a-t-il d’autres limites ?

Non. Vous pouvez vous connecter avec votre compte sur autant d’appareils que vous le souhaitez, mais en les utilisant à des moments différents.

Parce qu’une autre personne (ou vous) est en train de lire Le Monde avec ce compte sur un autre appareil.

Vous ne pouvez lire Le Monde que sur un seul appareil à la fois (ordinateur, téléphone ou tablette).
Comment ne plus voir ce message ?

Si vous êtes bénéficiaire de l’abonnement, connectez-vous avec vos identifiants. Si vous êtes 3 ou plus à utiliser l’abonnement, passez à l’offre Famille. Sinon, cliquez sur « » et assurez-vous que vous êtes la seule personne à consulter Le Monde avec ce compte.
Vous ignorez qui d’autre utilise ces identifiants ?

Nous vous conseillons de modifier votre mot de passe.
Que se passera-t-il si vous continuez à lire ici ?

Ce message s’affichera sur l’autre appareil. Ce dernier restera connecté avec ce compte.
Y a-t-il d’autres limites ?

Non. Vous pouvez vous connecter avec votre compte sur autant d’appareils que vous le souhaitez, mais en les utilisant à des moments différents.

Parce qu’une autre personne (ou vous) est en train de lire Le Monde avec ce compte sur un autre appareil.

Vous ne pouvez lire Le Monde que sur un seul appareil à la fois (ordinateur, téléphone ou tablette).
Comment ne plus voir ce message ?

Si vous êtes bénéficiaire de l’abonnement, connectez-vous avec vos identifiants. Sinon, cliquez sur « » et assurez-vous que vous êtes la seule personne à consulter Le Monde avec ce compte.
Vous ignorez qui d’autre utilise ce compte ?

Nous vous conseillons de modifier votre mot de passe.
Que se passera-t-il si vous continuez à lire ici ?

Ce message s’affichera sur l’autre appareil. Ce dernier restera connecté avec ce compte.
Y a-t-il d’autres limites ?

Non. Vous pouvez vous connecter avec votre compte sur autant d’appareils que vous le souhaitez, mais en les utilisant à des moments différents.

Parce qu’une autre personne (ou vous) est en train de lire Le Monde avec ce compte sur un autre appareil.

Vous ne pouvez lire Le Monde que sur un seul appareil à la fois (ordinateur, téléphone ou tablette).
Comment ne plus voir ce message ?

Si vous utilisez ce compte à plusieurs, passez à une offre multicomptes pour faire profiter vos proches de votre abonnement avec leur propre compte. Sinon, cliquez sur « » et assurez-vous que vous êtes la seule personne à consulter Le Monde avec ce compte.
Vous ignorez qui d’autre utilise ce compte ?

Nous vous conseillons de modifier votre mot de passe.
Que se passera-t-il si vous continuez à lire ici ?

Ce message s’affichera sur l’autre appareil. Ce dernier restera connecté avec ce compte.
Y a-t-il d’autres limites ?

Non. Vous pouvez vous connecter avec votre compte sur autant d’appareils que vous le souhaitez, mais en les utilisant à des moments différents.

Parce qu’une autre personne (ou vous) est en train de lire Le Monde avec ce compte sur un autre appareil.

Vous ne pouvez lire Le Monde que sur un seul appareil à la fois (ordinateur, téléphone ou tablette).
Comment ne plus voir ce message ?

En cliquant sur « » et en vous assurant que vous êtes la seule personne à consulter Le Monde avec ce compte.
Que se passera-t-il si vous continuez à lire ici ?

Ce message s’affichera sur l’autre appareil. Ce dernier restera connecté avec ce compte.
Y a-t-il d’autres limites ?

Non. Vous pouvez vous connecter avec votre compte sur autant d’appareils que vous le souhaitez, mais en les utilisant à des moments différents.
Vous ignorez qui est l’autre personne ?

Nous vous conseillons de modifier votre mot de passe.