
Cursus :
Gilles Dowek est chercheur à l'INRIA et professeur attaché à l'ENS Paris-Saclay. Il est également membre du Laboratoire de Méthodes Formelles (LMF) au sein de l'équipe Deducteam.
Affiliation : INRIA/ENS Paris-Saclay
Statut : Informaticien et logicien





