Enseignement

Master 1 Informatique : - Compilation (UEs COMP1 et COMP2)
            - Cours de Préparation à l'alternance
            - Cycle de conférences d'entreprises
            - Responsable des stages de M1 pour les parcours ILIADE, INT, LSE et SIIA

L3 Informatique : Programmation par contraintes, Logique et Intelligence Artificielle (UE PLIA)

L3 Informatique CDA : C, Algorithmique et Structures de Données (UE CASD)

L2 Informatique : Algorithmique fondamentale, Graphes et Test (UE AFGT)

Dans le cadre du parcours international de la Licence Informatique, les cours AFGT (L2) et PLIA (L3) sont aussi dispensés en anglais.

Mobilité étudiante : coordination de l'accord Erasmus+ avec le département informatique de l'université de Vérone (Italie).

Recherche

Membre de l'équipe SHAKER/SHARP du Lab-STICC (Laboratoire en Sciences et Techniques de l'Information, de la Communication et de la Connaissance - UMR CNRS 6285), à l'UBO.

Thématique de recherche : Sûreté de fonctionnement du logiciel (fiabilité, maintenance), via le test ou la vérification avec des approches statiques ou dynamiques.

Mes travaux de recherche ont ainsi abordé :

• la vérification de propriétés d'ordonnancement temps-réel par analyse de traces d'excécution ;
• des éléments de test formel, en particulier la conception qualitative de données de test en lien avec les preuves de programme ;
• les aspects méthodologiques du test en phase de maintenance pour cartes mixtes analogiques-numériques (modélisation et test fonctionnels) ;
• l'automatisation d'une étape du processus de test via l'utilisation de solveurs de contraintes pour la génération automatique de données de test.

Mots clés : Test de programme (formalisation, automatisation), test fonctionnel, ATPG, fiabilité, sûreté de fonctionnement, génie logiciel.

Publications