David PichardieProfesseur à l'ENS Rennes, membre de l'IRISA
ERC Consolidator Grant
David Pichardie est professeur de sciences informatiques et dirige le département Informatique de l'ENS Rennes. Ses activités de recherche portent notamment sur la preuve de programme et prennent place dans l'équipe Celtique (équipe commune Université de Rennes, ENS Rennes et Inria Rennes) au sein de 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).
Il est lauréat en 2017 d’une bourse ERC (European Research Council) Consolidator Grant pour son projet Verified Static Analysis Platform (VESTA).
En savoir plus
David Pichardie, ERC Consolidator Grant 2017, entretien publié le 20/11/2018.