Gilles Dowek : au carrefour de l’informatique, de la logique et de la philosophie
Gilles Dowek est chercheur en informatique 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… Lire la suite »Gilles Dowek : au carrefour de l’informatique, de la logique et de la philosophie