Machine translated:
Gilles Dowek was a French computer scientist and logician.
His PhD was entitled "Automatic Demonstration in the Calculation of Constructions."
He taught at the École Polytechnique from 2002 to 2010 and was a researcher at INRIA, attached to the Formal Methods Laboratory of the École normale supérieure Paris-Saclay.