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.