Teaching

Assistant professor at Université Côte d’Azur (Oct. 2017 - )

  • Structures de données (Data Structures) - 1st 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 - [site]

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