Dale Miller

LAUREAT 2011 - Directeur de recherche - Equipe-projet Parsifal
Dale Miller
© Inria / Photo Kaksonen

Dale Miller, lauréat 2011 de la bourse européenne ERC Advanced Grant travaille sur le domaine très abstrait mais qui a un impact certain sur le monde réel, qu'est la preuve.

Mon objectif est de standardiser les systèmes de preuve et leur délivrer des certificats afin d’améliorer la confiance que l’on peut avoir en eux.