In 2023, during my visit to University of Oxford, I am give tutorials on Concurrent Programming and Imperative Programming Parts 1 and 2

For the academic years 2020-2022, I'm part of the following courses:

Past teaching (at Telecom Nancy, between 2015 and 2019):

  • Introduction to theoretical computer science
  • Protocoles de sécurité et Vérification