Sites Inria

Il y a 1 Résultats avec le mot clé : "systèmes de preuves"

© Inria / Photo Kaksonen

European Research Council 2011

Dale Miller : Faire que la preuve soit universelle

Sophy Caulier - 6/12/2011

Bénéficiaire d’une bourse ERC Advanced Grant destinée aux chercheurs confirmés, Dale Miller s’engage sur le difficile chemin de la preuve. Son objectif : dans ce domaine très abstrait mais qui a un impact certain sur le monde réel, 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.

Mots-clés :

Accueil > Actualité > Actualités Inria > Dale Miller : Faire que la preuve soit universelle

Lire la suite

Haut de page

Suivez Inria