Teaching

2018-2019

Agrégation de mathématiques - option info - planning de l'année
Computability, complexity and logic (agregation)
Algorithms (L3)
Algorithms and data structures (agregation SCIF)
Complexity theory (M1)

2017-2018

Complexity theory (M1)
Computability, complexity and logic (agregation)
Epistemic reasoning in AI (tutorial at IJCAI-ECAI 2018)

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 (agregation)
Logic (agregation)

2015-2016

CVFP: SMT solvers (M1)
Algorithms (L3)
Algorithms (agregation)
C++ (agregation)
LF: Formal languages (L3)
Computability and complexity (agregation)

2014-2015

Computability and complexity (agregation)
CVFP: SMT solvers (M1)
Algorithms (agregation)
Computability and complexity (agregation)
C++ (agregation)
Introduction to epistemic logic

2013-2014

Introduction to research
CVFP: SMT solvers (M1)
Algorithms (agregation)
Computability and complexity (agregation)
Advanced algorithms (L3)
Organization of internships (L3)

2012-2013

CVFP: SMT solvers (M1)
Algorithms (L3)
Complexity (agregation)
Introduction to discrete maths (M1)
Concise introduction to logic

2011-2012

CVFP: SMT solvers (M1)
Algorithms (L3)