Teaching

2017-2018

Complexity theory (M1)
Computability and complexity (agrégation)
Logic (agrégation)

2016-2017

EASSS 2017, Gdansk, Poland: Dynamic epistemic logic and its applications to plan/protocol synthesis
LF: Formal languages (L3)
CVFP: SMT solvers (M1)
Computability and complexity (agrégation)
Logic (agrégation)

2015-2016

CVFP: SMT solvers (M1)
ALGO1: Introduction to algorithms (MIT1)
LF: Formal languages (MIT1)
SEMIN1, SEMIN2: Seminars for students (MIT1, MIT2)
Algorithms (agrégation)
Computability and complexity (agrégation)
Programming in C++ (mechatronics department)
Presentation at Lycée Chateaubriand "Introduction à la logique épistémique dynamique"

2014-2015

CVFP: SMT solvers (M1)
SEMIN1, SEMIN2: Seminars for students (MIT1, MIT2)
Algorithms (agrégation)
Computability and complexity (agrégation)
Programming in C++ (mechatronics department)

2013-2014

SEMIN1, SEMIN2: Seminars for students (MIT1, MIT2)
CVFP: Software design and verification (MIT2)
Algorithms (agrégation)
Computability and complexity (agrégation)
Programming in C++ (mechatronics department)
Agrégation de mathématiques (option informatique) - Compléments
Luminy 2014 - Introduction à la logique épistémique

2012-2013

SEMIN1, SEMIN2: Seminars for students (MIT1, MIT2)
Managing the internships in MIT2
XTRA1: Introduction to research (including training courses)

Programming a robot in C++ (mechatronics department)
Complexity theory (computer science option in "agrégation de mathématiques")
ALGO1: Introduction to algorithms (MIT1, ALGO1)
ALGO2: Advanced algorithms (MIT1, ALGO2)
Practical session of algorithmic (computer science option in "agrégation de mathématiques")
CVFP: Software design and verification (MIT2)
Mise à niveau en mathématiques discrètes (M1, Université Rennes 1)

Presentation about logic for the start of the year (MIT1)
Presentation and animation "Cordées de la réussite" (Trouver son chemin, réseau de tri)

2011-2012

SEMIN1: Seminars for students (MIT1, MIT2) (first semester only)
ALGO1: Introduction to algorithms (MIT1)
CVFP: Software design and verification (MIT2)



2010

Kripke's World: an introduction to modal logics via tableau systems (ESSLLI 2010)