Poste à l’Université Côte d’Azur (Oct. 2017 - )
- Structures de données - L2 - [site]
- Résolution de problèmes - M1 - [site]
- Programming Challenge - M1 - [site]
- Vérification de programmes en PPC - M2 - [site]
- Bases de données - M1 Mathématiques - [site]
- Informatique pour l’entreprise - M1 Mathématiques
Post-doctorat à l’Université Pierre et Maire Curie (Sep. 2016 - Sep. 2017)
- Éléments de programmation - L1
- Semantics and applications to verification - L3 - [site] (à l’École Normale Supérieure)
- Composants - M1 - [site]
- Programmation par Contraintes - 4STI - (à l’INSA Centre Val de Loire)
Post-doctorat à l’École Normale Supérieure (Fév. 2016 - Août 2016)
- Semantics and applications to verification - L3 - [site]
ATER à l’Université de Nantes (2012 - 2013)
- Préparation du C2i (Certificat Informatique Internet) - L1 MIPC
- Algorithmique et Programmation 1 - L1 MIPC
- Initiation à l’algorithmique - L1 BGC
- Informatique 2 - L2 Math-Eco
- Réseaux et Télécom - L3 Info
Monitorat à l’Université de Nantes (2009 - 2012)
- Préparation du C2i (Certificat Informatique Internet) - L1 MIPC
- Algorithmique et Programmation 1 - L1 MIPC
- Algorithmique et Programmation 2 - L1 MIPC
- Base de Données 2 - L3 Info
- Programmation Impérative - M2 CCI
Tutorat à l’Université de Nantes (2007 - 2008)
- Préparation du C2i (Certificat Informatique Internet) - L1 de Droit et L1 MIPC
- Méthodologie du travail universitaire - L1 MIPC
Tutorat à l’Université de la Nouvelle-Calédonie (2006)
- Algorithmique et Programmation - L1 MIPC