Sites Inria

Il y a 1 Résultats avec le mot clé : "Nicolas Tabareau"

Nicolas Tabareau

European Research Council 2014

Nicolas Tabareau : démocratiser les assistants de preuve

Jean-Michel Prima - 10/02/2015

Les assistants de preuve visent à prouver les théorèmes mais aussi la correction des programmes informatiques. Fruit de vingt-cinq ans de recherches par Inria, Coq est aujourd'hui l'un des logiciels en pointe dans le domaine. Toutefois, une percée en mathématique signée par le médaillé Fields Vladimir Voevosdky pourrait ouvrir la voie à un énorme progrès de la vérification formelle. Chercheur chez Inria, Nicolas Tabareau vient de se voir octroyer une bourse du Conseil Européen de la Recherche (ERC) pour étudier comment cette découverte pourrait se concrétiser dans une version très novatrice de Coq. Comme il l'explique, ce travail devrait avoir un impact très fort et amener l'industrie à adopter cet outil de preuve.

Mots-clés :

Accueil > Centre > Rennes > Actualités > Nicolas Tabareau : démocratiser les assistants de preuve

Lire la suite

Haut de page

Suivez Inria