Teaching

2022-2023

Algorithms (L3)
Advanced algorithms
Algorithms and data structures (agregation SCIF)
Complexity theory (M1)

2021-2022

Algorithms (L3)
Advanced algorithms
Complexity theory (M1)

2020-2021

Algorithms (L3)
Advanced algorithms
Algorithms (CAPES maths)
Complexity theory (M1)

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 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)