2013/2014

  • Ingénierie Logicielle. 13.5h TP/ 13.5h TD. Master informatique. UML, Framework, patrons de conception, tests. Université de Montpellier 2.

2012/2013

  • Algorithmique et structure de données. 27h Td, 6h TP. Licence informatique. Invariant, Complexité, Liste, Pile, File, Arbres, Tas, Algorithme de tri. Université de Montpellier 2.
  • Ingénierie Logicielle. 29h TP. Master informatique. UML, Framework, patrons de conception, tests. Université de Montpellier 2.

2011/2012

  • Programmation de Test JUnit. 8h TP. JUnit, Outil de couverture de code, etc. Mastère d'informatique 1ère année, Université de Montpellier 2.

2010/2011

  • Systèmes concurrents. 8h TP. Java, utilisation des threads, moniteurs et sémaphores. ENSEEIHT, 2ème année.
  • VHDL et applications 16h TD, 48h TP (2 groupes). Langage de description matériel destiné à représenter le comportement ainsi que l'architecture d'un système électronique numérique. ENSEEIHT, 2ème année.
  • Technologie objet. 28h TP. Étude des notions objets puis implémentation en Java, à l'ENSEEIHT. 2ème année d'école d'ingénieur. Participation aux corrections des examens.
  • Outils pour le génie logiciel. 12h TP. Eclipse, JML, JUnit, programmation par contrat... ENSEEIHT. Participation aux soutenances de projets.
  • Encadrement de projets long Java, formation Apprentissage. 32h TP.

2009/2010

  • Algorithmique et structure de données. 36h eq. TD. Langage algorithmique / C++, IUT Informatique de Toulouse. 2ème année. Participation aux corrections des examens.

2008/2009

  • Technologie objet. 28h TP. Étude des notions objets puis implémentation en Java, à l'ENSEEIHT. 2ème année d'école d'ingénieur. Participation aux corrections des examens.
  • Outils pour le génie logiciel. 12h TP. Eclipse, JML, JUnit, programmation par contrat... ENSEEIHT. Participation aux soutenances de projets.
  • Présentation de mes travaux sous forme de cours. 2h, cours. Traquer et utiliser les traces de transformations de modèles. Master Recherche Informatique et télécommunications, parcours SIGL, Université Paul Sabatier, Toulouse.

2007/2008

  • Programmation fonctionnelle. 16h TP. Haskell, Preuves de programmes, fonctions d'ordre supérieur, Licence 3 NTIE, Université du Mirail, Toulouse.
  • Initiation à l'informatique. 38h eq TD. Initiation à la programmation par le VBScript, apprentissage du logiciel de bureautique Excel. IUT Génie Civil de Toulouse, 2ème année.