Portrait de chercheur ou chercheuse, Recherche
Gilles Dowek : au carrefour de l’informatique, de la logique et de la philosophie
… au sein du Laboratoire des méthodes formelles (LMF – Univ. Paris-Saclay/CNRS/ENS Paris-Saclay/CentraleSupélec/INRIA) , et enseignant à l’ENS Paris-Saclay. Passionné de logique et penseur des enjeux …Article publié le: