Previous Teaching Activities

 

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
 Posted by at 10:53 AM

Sorry, the comment form is closed at this time.