Year 2016 – 2017
I was co-supervising the first year of the Master in computer science, international parcours.
As an Associate Professor in University of Grenoble-Alpes (UGA), I was teaching:
- Semester 1
- Introduction to Runtime Verification and Enforcement in International Master, year two (lecture).
- Reminders on proof techniques and logic in International Master year one (lecture and tutorial).
- Reminders on Object-oriented Design and Programming in Master year 1.
- Programming Languages and Compiler Design in International Master (supervising, english lecture, and english tutorial).
- Languages and Automata in Bachelor year 2 (supervising, french lecture, and english tutorial).
- Jury for the research projects of Master 1 students in the international students.
- Semester 2: no course, teaching duties done in Semester 1.
Year 2015 – 2016
I was co-supervising the first year of the Master in computer science, international parcours.
As an Associate Professor in University of Grenoble 1 (UJF), I was teaching:
- Semester 1
- Reminders on proof techniques and logic in International Master year one (lecture and tutorial).
- Reminders on Object-oriented Design and Programming in Master year 1.
- Programming Languages and Compiler Design in International Master (supervising, english lecture, and english tutorial).
- Languages and Automata in Bachelor year 2 (supervising, french lecture, and english tutorial).
- Jury for the research projects of Master 1 students in the international students.
- Semester 2: no course, teaching duties done in Semester 1.
In addition to the courses at U of Grenoble 1, I had given invited lectures:
- Introduction to Programming Languages and Compiler Design (6 hours) at Galatasaray University, Istanbul, Turkey.
- Introduction to Runtime Verification (3 hours) at Galatasaray University, Istanbul, Turkey.
- Introduction to Runtime Verification (3 hours) at American University of Beirut, Beirut, Lebanon.
Year 2014 – 2015
I was co-supervising the first year of the Master in computer science, international parcours.
As an Associate Professor in University of Grenoble 1 (UJF), I was teaching:
- Semester 1
- Reminders on proof techniques and logic in International Master year one (lecture and tutorial).
- Programming Languages and Compiler Design in International Master (supervising, english lecture, and english tutorial).
- Languages and Automata in Bachelor year 2 (supervising, french lecture, and english tutorial).
- Advanced Testing Techniques in Master year 2 (supervising and french lecture), Introductory lecture to runtime verification.
- Object-oriented Design and Programming in Master year 1 (french tutorial).
- Jury for the research projects of Master 1 students in the international students.
- Semester 2: no course, teaching duties done in Semester 1.
In addition to the courses at U of Grenoble 1, I had given invited lectures:
- Introduction to Programming Languages and Compiler Design (6 hours) at Galatasaray University, Istanbul, Turkey.
- Programming Languages and Compiler Design (70 hours) at Ecole Nationale Polytechnique de Yaoundé (Polytechnique School Yaoundé), Yaoundé, Cameroon.
Year 2013 – 2014
As an Associate Professor in University of Grenoble 1 (UJF), I have taught:
- Semester 1
- Programming Languages and Compiler Design (supervising, english lecture, and english tutorial).
- Languages and Automata (supervising, french lecture, and english tutorial).
- Advanced Testing Techniques (supervising and french lecture).
- Object-oriented Design and Programming (french tutorial).
One can refer to the dedicated webpages.
Year 2012 – 2013
As an Associate Professor in University of Grenoble 1 (UJF), I have taught:
- Semester 1
- Programming Languages and Compiler Design (supervising, english lecture, and english tutorial)
- Languages and Automata (supervising, french lecture, and tutorial in english).
- Semester 2
- Introduction to Functional Algorithmic and Programming (supervising, lecture and tutorial)
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 2006 – 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