### Teaching

- November 2017-January 2018: Rewriting theory in the MPRI

- September 2017-November
2017: Formal
languages and finite automata at
the ENSIIE

- November 2016-January 2017: Rewriting theory in 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 13 February 2018.
Come back to main page.