Teaching
University of Chinese Academy of Sciences
- Spring 2026 · Spring 2025Philosophical Logic
- Fall 2026 · Fall 2025 · Fall 2024Topics in Mathematical Logic
- Spring 2026 · Spring 2025 · Spring 2024 Introduction to Modern Logic
- Spring 2023 · Spring 2022 Logic and Critical Thinking
- Spring 2024 · Spring 2023 University Writing
European Summer School in Logic, Language and Information
- 37th ESSLLI · Prague · August 3-7, 2026 Reasoning in Graph Games: A Modal Logic Study