Algorithms - L3 SIF et L3 Maths
Pictures of magnets used to illustrate topological sort.
Teaching
2019-2020
Computability, complexity
and logic (agregation) 
Algorithms and data
structures (agregation SCIF)Algorithms (L3) Algorithms (CAPES maths)
Complexity theory (M1)
2018-2019
Gentle introduction to computational complexity
(2-hour lecture at IRISA) 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)
Epistemic reasoning in
multi-agent systems (tutorial at AAMAS 2019)Epistemic reasoning in AI
(tutorial at IJCAI 2019)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)C++ (agregation)Introduction to epistemic
logic2013-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)