Page web de Damien Massé

Damien Massé

Maître de conférence en informatique.
Rattaché au Laboratoire d'Informatique des Systèmes Complexes (LISyC).

Recherche

Je fais partie du groupe Sûreté des systèmes du LISyC. Mes recherches portent essentiellement sur l'analyse statique de programmes par interprétation abstraite.

Mes publications (en anglais).
Le projet SARDANES, avec l'université de Perpignan et l'École Normale Supérieure, financé par la FNRAE.
Quelques conférences à venir sur mon domaine de recherche:
- SAS 2010, 14-16 septembre 2010, Perpignan, France (membre du comité de programme).

Enseignement

Vous pouvez trouver ici certains transparents de cours.

Dernière mise à jour : lundi 30 août 2010
e-mail : damien.masse@univ-brest.fr