Teaching
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:
- Cryptographic protocols: formal and computational proofs at the MPRI
- Projet de programmation (PI4) for L2 at UFR d'Informatique, Paris 7
- Éléments d'algorithmique 2 (EA4) for L2 at UFR Informatique, Paris 7
Past teaching (at Telecom Nancy, between 2015 and 2019):
- Introduction to theoretical computer science
- Protocoles de sécurité et Vérification