Teaching

2017-2018

Complexity theory (M1)
Computability, complexity and 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)