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 … guided all my studies." His work focused on the design of algorithms for checking the correctness of … other institutions. He is particularly interested in the management of personal data and the question of proper nouns …Published on: Fri 06/12/2024 - 10:00