### Teaching

- 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 14 February 2020.
Come back to main page.