Teaching

Since 2017 at Institut Informatique, Université Clermont Auvergne

Responsable Licence 1 Informatique (07/2017-08/2019)
CM Graphs and Enumeration in graphs (20h) (Master 2 Informatique)
CM/TD Introduction à l'algorithmique (45h) (Licence 2 Informatique)
CM Algorithmique 2 (18h) (Licence 2 Informatique)
CM Systèmes d'exploitation (8h/16h) (Licence 2/3 Informatique)
CM/TD Théorie des langages (14h/14h) (Licence 3 Informatique)
TD/TP Initiation au typage (18h/6h) (Licence 3 Informatique)

Responsable Master 1 Informatique
Logic and Graphs (Master 2 Informatique) : Lecture 1 Lecture 2 Lecture 3 (slides by Florent Madelaine) Courcelle's Theorem
CM Quelques compléments en C (Licence 2 Informatique) CM
CM Structure de données (Licence 2 Informatique) CM
CM Introduction à la programmation fonctionnelle OCAML (Licence 1 Informatique)
TD Théorie des graphes (Licence 3 Informatique)
CM/TD Systèmes d'exploitation (Licence 3 Informatique) CM
CM Génie logiciel par la pratique (Master 1 Informatique) Sujet-2014
CM Etude de cas décisionnelle ou intégration logicielle (Master 2 Informatique) Sujet-2014

CM Architecture (Licence 1 Informatique)
CM Introduction aux Bases de Données (Licence 2 Informatique)
CM Introduction à l'Algorithmique (Licence 1 Informatique)
CM et TD Mathématiques pour l'Informatique : ensembles, relations, récurrences, logique, ... (Licence 2 Informatique)
TD et TP Programmation Objet (Licence 2 Informatique)
TD et TP Programmation C (Licence 1 Informatique)
CM et TP Décision dans l'Incertain : vérification de propriétés PLTL dans des systèmes probabilistes (Master 2, SIAD)
Responsable des projets Master 1 et 2 IDL Projets Master 2 Projets Master 1

TD Algorithmique et Structure de Données : pile, file, tableaux, ... (ENSEIRB, Année 1 Electronique)
TD/TP Programmation Objet : Programmation Objet et génie logiciel (ENSEIRB, Année 2 Informatique)
TD/TP Programmation C avancée: Outils de deboguage, tests, génie logiciel, ... (ENSEIRB, Année 1 Informatique)
TD Analyse d\'Algorithmes : logique, calcul des séquents, preuves de programmes, .. (ENSEIRB, Année 1 Informatique)

TD/TP Utilisation des réseaux : Bases en réseaux (UFR Licence 3 Informatique)
TD/TP Programmation Objet 1 : Bases de la Programmation Objet (UFR Licence 2 Informatique)
PdP client (with B. Courcelle) Polynomes récursifs de graphes (UFR master 1, Applet)

TD/TP Stage C++ : Stage intensif en C++ (UFR master 2 ISC)
TP AP1 : Initiation à l'algorithmique et au C++ (IUT 1ère année)
TD/TP Initinfo : Initiation à l'informatique et à Python (UFR 1ère année)
PdP client (with B. Courcelle) Polynomes récursifs de graphes (UFR master 1)