Partager cette page :

David Baelde

David Baelde

Fonction

Enseignant-chercheur et directeur du département informatique

Structure(s) de rattachement

Coordonnées

Adresse E-mail :

Thème(s) de recherche

Logique et applications à la preuve formelle de protocoles cryptographiques
Voir ma page web à l'IRISA pour plus d'information

Mise à jour le 23 septembre 2026