Partager cette page :

David Baelde

Structure(s) de rattachement

Thème(s) de recherche

Ses travaux de recherche sont pratiqués à l'Irisa et portent sur la logique et la sécurité.

Mise à jour le 31 mai 2022