Encadrement de projet d'été et suivi de projet en Master1 Pro, DIIC, etc.
En Troisième Cycle :
Analyse Comportementale de Systèmes Réactifs et Répartis (Université de Rennes1)
Théorie de la logique modaleUn calcul pour les systèmes parallèles communicants :
CCS,
Cas des systèmes infinis : La théorie des systèmes de
transitions bien structurés et les problèmes décidables,
Introduction à l'assistant de preuve COQ,
Dépendances causales dans les programmes SIGNAL,
Techniques de model-checking (sur la base de l'ouvrage
``Vérification de Logiciels, Techniques et outils du model-checking'',
Ouvrage collectifs - Coordination Philippe Schnoebelen, Ed.\ Vuibert 1999) .
En Deuxième Cycle :
Algorithmique et complexité (2ème année),
Théorie des Langages et initiation à la compilation (2ème année).
Algorithmique des graphes (1ère année).
Programmation Objet (TP) (1ère année).
Compilation (TD, TP) (2ème année).
Encadrement de projet (DIIC3)
Approche fonctionnelle (1ère année),
Initiation à l'algorithmique impérative (DEUG SM 2eme année),
Conception des Systèmes Réactifs (approche objet et agents ;
langage oRis) (DEUG STPI Option Informatique).
En Formation Continue :
Initiation au système Unix (au CELAR, THOMSON Broadcast, Thomson Multimédia).