Ce cours a été donné à des troisième année de l'école d'ingénieur ENSIBS. L'objectif était de présenter des techniques de vérification et de test de la sécurité des systèmes informatiques. J'ai présenté les techniques de model-checking avec des travaux pratiques utilisant Promela et SPIN, les techniques de fuzzing et les techniques de tests concoliques avec des travaux pratiques avec JDart.

Jai enseigné ce cours à des élèves en troisième année d'é d'ingénieur. En 2012--2013, j'encadrais les TDs basés sur le model-checker UPPAAL, et j'ai supervisé les élèves au cours de projets de vérification. En 2013--2014, j'étais responsable du module entier, ce qui incluait des cours sur le model-checking de systèmes temps réels.

J'étais enseignant dans ce cours. J'ai supervisé des étudiants en master au cours d'un projet de programmation. Les étudiants ont appris comment implémenter des structures de données et des algorithmes classiques (linkedlist, hashmap), comment appliquer des méthodes de développement logiciel. Ils ont implémenté en Java un moteur de recherche de pages web, et ils ont étudié ses performances.

J'ai enseigné un TD à des étudiants en première année de DUT. Au cours d'une série d'exercises sur ordinateur, les étudiants ont appris comment administrer un système informatique UNIX, comment mettre en place un réseau local ainsi que les techniques de routage, et comment installer et configurer des services réseau tel qu'un DNS.

J'ai assuré les enseignements un TD d'algorithmique et un TP de programmation en C++, à une classe d'étudiants en première année de licence.

J'ai enseigné un TP de programmation en Java à des étudiants en école d'ingénieur. Dans ce cours j'ai également supervisé des groupes d'étudiants au cours d'un projet de programmation.