and in the Past ...

• Vérification et Validation Formelles
• Algorithmique avancée en Master 1 MSB (Bioinformatique)
• Logic, Automata, and Games at the annual Logic Summer School of the Research School of Information Sciences and Engineering (The Australian National University, Canberra)
• Verification and Testing of Embedded Systems (VTS)
• Elements of Game Theory
• Automates et langages à l'Option Informatique de l'Agrégation de Mathématique (ENS de Cachan - Antenne de Bretagne).
• Master 2 Recherche Méthodes de traitement de l'information biomédicale (master MTIB) Algorithmique avancée
• Cours de préparation à l'Option Informatique de l'Agrégation de Mathématique (ENS de Cachan - Antenne KerLann)
  Algorithmique fondamentale.
• Cours au Master de Recherche en Informatique : Méthodes formelles pour le Génie Logiciel pour le module Module A2R
  Méthodes Formelles pour la Vérification des Systèmes Réactifs.
• Interventions en L3 dInformatique Cours et TD Algorithmique des graphes, TD en Logique (Cours est en ligne )
• Responsable de l'Option Informatique en PCGI : "Conception de Systèmes Réactifs"
• Encadrement de projet en Diplôme d'Ingénieurs en Informatique et en Communication 3
  Mini-Projet "Plateforme de demonstration interactives de produits synchronises d'automates"
• 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 modale Un 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).