Sites Inria

Il y a 2 Résultats avec le mot clé : "Dale Miller"

Dale Miller / LICS

Prix scientifique

Test of time award pour Dale Miller

30/08/2011

Dale Miller, responsable de l’équipe-projet Parsifal, a reçu lors de la conférence LICS 2011 qui s’est tenue au mois de juin à Toronto le test of time award  pour un papier publié en 1991.

Mots-clés :

Accueil > Centre > Saclay > Actualités > Test of time award pour Dale Miller

Lire la suite

© 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 tout au long de son 50e anniversaire et au-delà !