Damien Massé

Maître de conférence en informatique.
Rattaché au LabSTICC.
Adresse:
UBO - département d'informatique
20 avenue Le Gorgeu
29238 Brest Cedex 3

Recherche

Mes recherches portent essentiellement sur les applications de interprétation abstraite, pour l'analyse statique de programmes, mais aussi pour des problèmes de localisation en robotique, et sur les liens entre interprétation abstraite et d'autres méthodes (comme l'analyse par intervalles).

• Mes publications (en anglais).

• Logiciels: pater (Petit Analyseur de TERminaison).

Enseignement

Mes transparents de cours sont disponibles (pour les étudiants de l'UBO) sur Moodle depuis l'ENT (onglet "Mon bureau" puis "Enseignement à distance"). Les cours suivant sont disponibles:

• Algorithmique et programmation (S2)

• Logique et IA (S5)

Dernière mise à jour : mercredi 4 janvier 2016
e-mail : damien.masse@univ-brest.fr