Researcher portraits, Research
Gilles Dowek: at the crossroads of computer science, logic and philosophy
… in computer science at the Formal Methods Laboratory (LMF - Univ. Paris-Saclay/CNRS/ENS Paris-Saclay/CentraleSupélec/Inria) and an …Published on: Fri 06/12/2024 - 10:00