Conférence francophone sur le thème de la sécurité de
l'information.
Elle se déroulera
à Rennes du 4 au 6 juin 2025.
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.