Symposium sur la sécurité des technologies de l'information et des communications

Conférence francophone sur le thème de la sécurité de l'information.
Elle se déroulera à Rennes du 5 au 7 juin 2019.

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