Lauréats 2023 des prix Inria

2023-10-26 / Académie des sciences

Les prix Inria - Académie des sciences 2023 sont décernés à : Gilles DOWEK, Grand prix Inria - Académie des sciences Chercheur en informatique chez Inria et enseignant à l'ENS Paris-Saclay. Il est à l'origine du langage Dedukti, un cadre logique perm...