Teaching
Courses
Courses
I teach the following courses regularly at Zhejiang University:
Foundations of mathematical logic (0421202)
Spring and Summer, 48 hours, 16 weeks, graduate courseLaTeX in academic writing (0413155)
Fall, 32 hours, 8 weeks, graduate coursePhilosophical Logic (04124880)
Winter, 32 hours, 8 weeks, undergraduate coursePhilosophy of Mathematics (opening soon)
Spring, 32 hours, 8 weeks, undergraduate course
I am no longer maintaining pages of older courses.
Students
Students
Here is a list of my current and past students:
Faqiang Li (MS, current)
Huayu Guo (MS, current)
Dongheng Chen (MS, current, main supervisor Beishui Liao)
Jilin Wang (BS, current)
Zixin Fang (BS, 2023)