Teaching
- 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
2008-2009
- 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)
2007-2008
- 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)
2006-2007
- 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)
2005-2006
- TP Initinfo : Initiation à l'informatique et à Python (UFR 1ère année)
- TP USI : Utilisation des systémes informatiques (UFR 1ère année)
2004-2005
- TP Initinfo : Initiation à l'informatique et à Python (UFR 1ère année)