Xavier RivalInria senior researcher, member of DI-ENS
ERC Proof of Concept Grant
ERC Starting Grant
Xavier Rival est directeur de recherche Inria dans l'équipe-projet Antique, membre du Département d'Informatique de l'École normale supérieure (DI ENS - CNRS/ENS/Inria).
En savoir plus
-
Les chemins inattendus du transfert avec Matrix Lead, actualité Inria à l'occasion de son ERC Proof of Concept 2018 (18/10/2018)
- Xavier Rival : vérifier automatiquement la sûreté des logiciels critiques, actualité Inria à l'occasion de son ERC Starting Grant 2011 (20/09/2011)