Gilles Dowek

Gilles Dowek
Computer scientist and logistician

Gilles Dowek is a researcher at Inria and a professor the École normale supérieure de Paris-Saclay. He works on the formalization of mathematics, on proof processing systems, on the physics of computation, on the safety of aerospace systems, and on the epistemology and ethics of informatics. He is a member of the scientific board of la Société informatique de France, of the scientific board of La Main à la pâte and of the Comité National Pilote d'Éthique du Numérique.

Share :
#TIMEWORLD2021