Teaching and Pedagogical responsabilities

Since 2020 at ISIMA, Clermont Auvergne INP

Responsable Spécialité Systèmes embarqués du diplome d'ingénieur ISIMA (07/2021-)
Graphs and Algorithms (CM 20h) (Master ICS, international track)
Théorie des graphes (CTD 26h) (Première Année, diplôme ingénieur ISIMA
Fondements des Bases de données (TD 14h) (Master 1 Informatique)
Structures de données (CM 18h, TD 18h) (Licence 2 Informatique)
Systèmes d'exploitation (CM 15h) (Licence 3 Informatique)
Compilation (CM 10h, TD 10h, TP 10h) (Licence 3 Informatique)
Initiation au typage (CM 9h, TD 9h, TP 6h) (Option, Licence 3 Informatique)
Suivi Stagiaires/Alternants (entre 5 et 7 par an) (Ingénieurs, Masters)

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)
Suivi Stagiaires/Alternants (entre 5 et 7 par an) (Ingénieurs, Masters)

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
Suivi Stagiaires/Alternants (entre 3 et 5 par an) (Ingénieurs, Masters)

Responsable des projets Master 1 et 2 IDL Projets Master 2 Projets Master 1
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)
Suivi Stagiaires (entre 2 et 3 par an) (Ingénieurs, Masters)

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)