Introduction to Logic (2015 fall, 2016 Spring+Fall, 2018 Spring+Fall, 2019 Spring)
Logic and critical thinking (2018 Fall, 2019 Fall)
Symbolic Logic (2016 Spring)
First Order Logic (2016 Fal)
Topics in Loigc: Set Theory (2017 Spring)
Mathematical Logic (2020-2024, Spring)
Philosophy of Mathematics (In English, 2026 Spring)
First Order Logic (2017 Spring)
Introduction to computability theory (2017 Fall)
Introduction to Set Theory (2017 Fall, 2023 Fall)
Introduction to Model Theory (2018 Spring, 2024 Spring)
Topics on Gödel's Incompleteness Theorems (2018 Spring)
Selective topics of Mathematical Logic/Modern Logic (2018 Fall, 2023 Spring)
Foundations of Modern Logic (2021 Fall, 2022 Fall, 2024 Spring)
Computability and Incompleteness (2022 Spring, 2023 Fall)
Introduction to Proof Theory (2022 Fall, 2025 Spring)
Graduate Seminar (2024 Fall)
Topics in Foundations/Philosophy of Mathematics (in English, 2025 Fall)
Foundations of Modern Logic (In English, 2026 Spring)
Undergraduate Outstanding Teaching Performance Award (Specialized Theory Courses), Wuhan University (2017)