Sites Inria

Il y a 2 Résultats avec le mot clé : "Xavier Rival"

Xavier Rival

European Research Council 2011

Xavier Rival : vérifier automatiquement la sûreté des logiciels critiques

Isabelle Bellin - 20/09/2011

Cette année encore, quatre jeunes chercheurs d’Inria ont décroché une bourse du très sélectif Conseil européen de la recherche (ou European Research Council , ERC) pour mener pendant cinq ans une recherche exploratoire, avec un budget de 1 à 1,5 million d’euros. Xavier Rival, chercheur en informatique, membre de l’équipe-projet Abstraction, est un des lauréats. Il explique son projet.

Mots-clés :

Accueil > Actualité > Actualités Inria > Xavier Rival : vérifier automatiquement la sûreté des logiciels critiques

Lire la suite

Xavier Rival - © Inria / Photo G. Scagnelli

European Research Council 2018

Xavier Rival lauréat d'une bourse ERC Proof of Concept

AA (*) - 18/10/2018

Il faut parfois accepter de faire des détours pour trouver une nouvelle opportunité prometteuse de transfert. Pour preuve, le projet de vérification de tableurs, lauréat d’une bourse ERC Proof of Concept  du Conseil européen de la recherche. Rencontre avec Xavier Rival, responsable de l’équipe-projet Antique, là où tout a commencé.

Mots-clés :

Accueil > Centre > Paris > Actualités > Xavier Rival lauréat d'une bourse ERC Proof of Concept

Lire la suite

Haut de page

Suivez Inria