Associate professor at Université Côte d’Azur (Oct. 2017 - )
- Structures de données (Data Structures) - 2nd year students - [website]
- Résolution de problèmes (Combinatorial Problems Solving) - 4th year students - [website]
- Programming Challenge - 4th year students - [website]
- Vérification de programmes en PPC (Program Verification using Constraint Programming) - 5th year students - [website]
- Bases de données (Database) - M1 Mathematics [website]
- Informatique pour l’entreprise (IT for business) - M1 Mathematics
Post-doctoral fellow at Université Pierre et Marie Curie (Sep. 2016 - Sep. 2017)
- Éléments de programmation - 1st year students
- Semantics and applications to verification - 3rd year students - [site] (at École Normale Supérieure)
- Composants - 4th year students - [site]
- Programmation par Contraintes - 4th year students - (at INSA Centre Val de Loire)
Post-doctoral fellow at École Normale Supérieure (Feb. 2016 - Aug. 2016)
- Semantics and applications to verification - 3rd year students - [site]
ATER at Université de Nantes (2012 - 2013)
- Préparation du C2i (Certificat Informatique Internet) - 1st year students
- Algorithmique et Programmation 1 - 1st year students
- Initiation à l’algorithmique - 1st year students
- Informatique 2 - 2nd year students
- Réseaux et Télécom - 3rd year students
Teaching Assistant at Université de Nantes (2009 - 2012)
- Préparation du C2i (Certificat Informatique Internet) - 1st year students
- Algorithmique et Programmation 1 - 1st year students
- Algorithmique et Programmation 2 - 1st year students
- Base de Données 2 - 3rd year students
- Programmation Impérative - 5th year students
Tutoring at Université de Nantes (2007 - 2008)
- Préparation du C2i (Certificat Informatique Internet) - 1st year students
- Méthodologie du travail universitaire - 1st year students
Tutoring at Université de la Nouvelle-Calédonie (2006)
- Algorithmique et Programmation - 1st year students