David Pichardie

Biographie

David Pichardie est chargé de recherche à l'INRIA Rennes dans l'équipe-projet Celtique. Son domaine de recherche est la conception de logiciels sûrs à l'aide de méthodes formelles comme l'analyse statique ou la preuve assistée avec comme domaine d'application privilégié la sécurité des applications Java.

Ses présentations