Dale MillerDirecteur de recherche Inria au LIX
ERC Advanced Grant
Dale Miller est directeur de recherche Inria au sein du Laboratoire d’Informatique de l’École polytechnique (LIX - CNRS/École polytechnique). Ses travaux de recherche portent sur la logique computationnelle : il s'intéresse plus particulièrement à la théorie de la preuve et comment standardiser les systèmes de preuve.
En savoir plus
Dale Miller : Faire que la preuve soit universelle - actualité Inria publiée à l'occasion de l'ERC Advanced Grant 2011 (6/12/2011)