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.
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.
https://www.mathgenealogy.org/id.php?id=83529