Year 2011 – 2012

As an Associate Professor in University of Grenoble 1 (UJF), I have taught:

• Semester 1
  • Programming Languages and Compiler Design (supervising, lecture and tutorial)
  • Languages and Automata (tutorial)
• Semester 2
  • Introduction to Functional Algorithmic and Programming (supervising, lecture and tutorial)
  • Advanced Testing Techniques (supervising)

Moreover, I have given a class in Galatasaray University, Istanbul, Turkey on some advanced topics in runtime verification (April 2012).

Additionally, I have been invited as a lecturer at Pontificia Universidad Javeriana, Bogota, Colombia in July 2012. In the context of a curriculum on Advanced Topics on Software Engineering, I have taught two topics there:

• Introduction to model-checking (model-checking of finite-state systems),
• Software reliability and runtime verification with Aspect-Oriented Programming.

Year 2010 – 2011

During my postdoc, I was appointed lecturer in Rennes University, Ecole Normale Supérieure – Antenne de Bretagne:

• Introduction to Runtime Verification – lecture
• Property-Specification in Runtime-Based Validation techniques – lecture

Years 206 – 2009

During my Ph.D. thesis, I was teaching assistant at University of Grenoble 1 (UJF):

• Introduction to Computer Science
• Functional programming and functionnal algorithmic
• Programming Languages and Compiler Design