### Teaching

- Sep 2022 - Oct 2023: Rewriting theory at the MPRI
- Sep 2022 - Oct 2022: Formal languages
and finite automata at
the ENSIIE
- Sep 22: Lectures on λΠ-calculus modulo rewriting and proof system interoperability at the VTSA'22, Saarbrücken, Germany
[lecture1] [lecture2]
- June 22: Introduction to proof system interoperability, Dedukti and Lambdapi at the 1st Dedukti school, Nantes, France [slides] [video]
- Sep 2021 - Oct 2021: Rewriting theory at the MPRI
- Sep 2021 - Oct 2021: Formal languages
and finite automata at
the ENSIIE
- Nov 2020 - Janvier 2021: Préparation à
l'agrégation à
l'ENS
Paris-Saclay
- Sep 2020 - Nov 2020: Rewriting theory at the MPRI
- Sep 2020 - Nov 2020: Formal languages
and finite automata at
the ENSIIE
- Nov 2019 - Jan 2020: Préparation à
l'agrégation à
l'ENS
Paris-Saclay
- Nov 2019 - Jan 2020: Rewriting theory at the MPRI
- Sep 2019 - Nov
2019: Formal
languages and finite automata at
the ENSIIE
- Nov 2018 - Jan 2019: Rewriting theory at the MPRI
- Nov 2018 - Dec 2018: Préparation à
l'agrégation à
l'ENS
Paris-Saclay
- Sep 2018 - Nov 2018: Formal languages
and finite automata at
the ENSIIE
- Nov 2017 - Jan 2018: Rewriting theory at the MPRI
- Sep 2017 - Nov 2017: Formal languages
and finite automata at
the ENSIIE
- Nov 2016 - Jan 2017: Rewriting theory at the MPRI
- Mar 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)
- Aug 2010: 2nd
Asian-Pacific Summer School on Formal Methods (Beijing,
China)
- Aug 2009: 1st
Asian-Pacific Summer School on Formal Methods (Beijing,
China)
- Mar 2009: Lectures on the meta-theory of System F
(Tsinghua University,
Beijing, China)
- Oct 2008 - Feb 2009: Lectures
on Coq
(Tsinghua University,
Beijing, China)
- Mar 2008: Introduction to typed
lambda-calculus and logic
(Tsinghua University,
Beijing, China)

Last updated on 1 December 2022.
Come back to main page.