2012
* Automated Software Engineering (Lecturer), M2, University Lille 1Alloy: lecture slides on system verification with Alloy, Alloy: A Quick Reference, Dining philospohers in Alloy, Linked Lists in Alloy
Lecture slides on component-based software engineering with Fractal
Lecture slides on automated dependency injection with Guice
Lecture slides on source code analysis and transformation
* Conception orientée object / Object-oriented design (Lecturer: Jean-Christophe Routier), L3 MIAGE, University Lille 1
* Initiation à la programmation (InitProg) (Lecturer), L1, University Lille 1
Initprog par l'exemple
2011
* Automated Software Engineering (Lecturer), M2, University Lille 1* Conception orientée object / Object-oriented design (Lecturer: Jean-Christophe Routier), L3 MIAGE, University Lille 1
* Initiation à la programmation (InitProg) (Lecturer), L1, University Lille 1
* Grundlage der Informatik / Introduction to Computer Science (Lecturer: Mira Mezini, Michael Eichberg), Technische Universität Darmstadt
2010
* Automated Software Engineering (Lecturer, course co-taught with Eric Bodden), Technische Universität Darmstadt* Introduction to Model-driven Engineering (Guest lecturer in Component Technology taught by Michael Eichberg), Technische Universität Darmstadt
See lecture slides about model-driven software development
2009
* Introduction to Model-driven Engineering (Guest lecturer in Component Technology taught by Michael Eichberg), Technische Universität Darmstadt* Einführung in Software Engineering / Introduction to Software Engineering (Lecturer: Andy Schürr), Technische Universität Darmstadt
2008
* Introduction aux Systèmes d'Exploitation / Introduction to Operating Systems (Lecturer), ENSIETA Brest* Introduction à la Programmation avec Java (Lecturer: Rodéric Moitié), ENSIETA Brest
* Modélisation des Logiciels avec UML (Lecturer: Joël Champeau), ENSIETA Brest
2007
* Introduction aux Systèmes d'Exploitation / Introduction to Operating Systems (Lecturer: Irvin Probst), ENSIETA Brest* Introduction à la Programmation avec Java (Lecturer: Rodéric Moitié), ENSIETA Brest
* Modélisation des Logiciels avec UML (Lecturer: Joël Champeau), ENSIETA Brest
* Recherche Opérationnelle (Lecturer: Rodéric Moitié), ENSIETA Brest
2006
* Introduction à la Programmation avec Java (Lecturer: Rodéric Moitié), ENSIETA Brest* Recherche Opérationnelle (Lecturer: Rodéric Moitié), ENSIETA Brest
2005
* Introduction à la Programmation avec Java (Lecturer: Rodéric Moitié), ENSIETA Brest* Recherche Opérationnelle (Lecturer: Rodéric Moitié), ENSIETA Brest