### Teaching

- November 2020 - Janvier 2021: Préparation à
l'agrégation à
l'ENS
Paris-Saclay
- September 2020 - November 2020: Rewriting theory at the MPRI
- September 2020 - November 2020: Formal languages
and finite automata at
the ENSIIE
- November 2019 - Janvier 2020: Préparation à
l'agrégation à
l'ENS
Paris-Saclay
- November 2019 - January 2020: Rewriting theory at the MPRI
- September 2019 - November
2019: Formal
languages and finite automata at
the ENSIIE
- November 2018 - January 2019: Rewriting theory at the MPRI
- November 2018 - December 2018: Préparation à
l'agrégation à
l'ENS
Paris-Saclay
- September 2018 - November 2018: Formal languages
and finite automata at
the ENSIIE
- November 2017 - January 2018: Rewriting theory at the MPRI
- September 2017 - November 2017: Formal languages
and finite automata at
the ENSIIE
- November 2016 - January 2017: Rewriting theory at the MPRI
- March 2013: Spring school
on formal methods in software engineering
(IAMI, Ho Chi Minh City, Vietnam)
- May 2012: Introduction to domain
theory and topology
(ISCAS, Beijing,
China)
- August 2010: 2nd
Asian-Pacific Summer School on Formal Methods (Beijing,
China)
- August 2009: 1st
Asian-Pacific Summer School on Formal Methods (Beijing,
China)
- March 2009: Lectures on the meta-theory of System F
(Tsinghua University,
Beijing, China)
- October 2008 - February 2009: Lectures
on Coq
(Tsinghua University,
Beijing, China)
- March 2008: Introduction to typed
lambda-calculus and logic
(Tsinghua University,
Beijing, China)

Last updated on 21 January 2021.
Come back to main page.