Researcher portraits, Research
Gilles Dowek: at the crossroads of computer science, logic and philosophy
… and an academic at ENS Paris-Saclay. He is passionate about logic and the challenges of digital ethics … demonstration of his programming talents. This work earned him the Philips Science Prize for Young People in 1982, … returned to Inria as a researcher, working on the Formel project. Noting the many different proof systems and the lack …Published on: Fri 06/12/2024 - 10:00