Comment by ColinWright

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