Gilles Dowek

Gilles Dowek
Informaticien et logicien

Gilles Dowek est chercheur à Inria et professeur à l'École normale supérieure de 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, et l'épistémologie et l'éthique de l'informatique. Il est membre du Conseil Scientifique de la Société informatique de France, du Conseil Scientifique de La Main à la pâte et du Comité National Pilote d'Éthique du Numérique.

Partager :
#TIMEWORLD2021