Researcher portraits, Research
Gilles Dowek: at the crossroads of computer science, logic and philosophy
… at Inria, a researcher in computer science at the Formal Methods Laboratory (LMF - Univ. Paris-Saclay/CNRS/ENS … Paris-Saclay/CentraleSupélec/Inria) and an academic at ENS Paris-Saclay. He was passionate about logic and … Paris-Saclay/CentraleSupélec/Inria) and an academic at ENS Paris-Saclay. He was passionate about logic and …
Published on: