Passionné(e) de lecture ? Inscrivez-vous gratuitement ou connectez-vous pour rejoindre la communauté et bénéficier de toutes les fonctionnalités du site !  

Gilles Dowek

Gilles Dowek
Gilles Dowek est chercheur à l'Inria et professeur attaché à l'ENS Paris-Saclay. Ses travaux portent sur la formalisation des mathématiques, les systèmes de traitement des démonstrations, la physique du calcul, la sûreté des systèmes aéronautiques et spatiaux, l'épistémologie, et l'é... Voir plus
Gilles Dowek est chercheur à l'Inria et professeur attaché à l'ENS Paris-Saclay. Ses travaux portent sur la formalisation des mathématiques, les systèmes de traitement des démonstrations, la physique du calcul, la sûreté des systèmes aéronautiques et spatiaux, l'épistémologie, et l'éthique de l'informatique. Il est l'auteur de « Les Métamorphoses du calcul » (Le Pommier, 2007), « Le temps des algorithmes » (avec Serge Abiteboul, Le Pommier, 2017) et « Ce dont on ne peut parler, il faut l'écrire » (Le Pommier, 2019).

Bibliographie de Gilles Dowek (15)

Thèmes en lien avec Gilles Dowek

Discussions autour de cet auteur

Il n'y a pas encore de discussion sur cet auteur

Soyez le premier à en lancer une !

Récemment sur lecteurs.com

Les livres les mieux notés cette semaine