David Pichardie, ERC Consolidator Grant 2017
Prix et distinction
David Pichardie, professeur des universités à l’ENS Rennes effectue ses recherches à l’Institut de recherche en informatique et systèmes aléatoires (IRISA - CNRS/ENS Rennes/Inria/INSA Rennes/Institut Mines-Télécom/Université de Bretagne-Sud/Université de Rennes 1), au sein de l’équipe-projet Inria Celtique. Il est lauréat d’une bourse ERC (European Research Council) Consolidator Grant pour son projet 2017 Verified Static Analysis Platform (VESTA).