Researcher portraits, Research
Gilles Dowek: at the crossroads of computer science, logic and philosophy
… science at the Formal Methods Laboratory (LMF - Univ. Paris-Saclay/CNRS/ENS Paris-Saclay/CentraleSupélec/Inria) and an … guided all my studies." His work focused on the design of algorithms for checking the correctness of … for Research Ethics in Digital Science and Technology at Allistene (Cerna) by Inria, CNRS and other institutions. He is …Published on: