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:
- ETAPS 2010, 20-28 mars 2010, Chypre.
- CAV 2010, juillet 2010, Edimbourg, Royaume-Uni.
- SAS 2010, 14-16 septembre 2010, Perpignan, France (membre du comité de programme).

Enseignement

Vous pouvez trouver ici certains transparents de cours.

Licence
- Algorithmique et programmation (L1 parcours 1 et 4), 2009-2010 : introduction, valeurs, entrées/sorties, variables, fonctions prédéfinies, conditionnelle. boucles.
- Logique et Intelligence Artificielle (L3 Info/CDA/MI), 2009-2010, partie logique : logique des propositions, logique des prédicats(introduction, sémantique). logique des prédicats (preuves), résolution.
Master
- Ingénierie des connaissances (M2 ISC), 2009-2010 : introduction, règles, correction TP1, représentation de l'incertitude. acquisition de connaissances (commonKADS), modèles de connaissances (commonKADS), apprentissage d'arbres de décision.

Dernière mise à jour : mercredi 10 mars 2010
e-mail : damien.masse@univ-brest.fr