Xavier Rival
2011 - Abstraction project-team
Xavier Rival, lauréat 2011 de la bourse ERC - Starting Grant, travaille sur la possibilité de vérifier automatiquement la sûreté des logiciels critiques.
Dans l’équipe Abstraction, nous développons des méthodes d’analyse automatique de code qui permettent de vérifier l’ensemble des exécutions d’un programme en un seul calcul.