Teaching

Courses

I teach the following courses regularly at Zhejiang University:

• Mathematical logic (0421202)
  Spring and Summer, 48 hours, 16 weeks, graduate course

• Philosophy of mathematics (43190350)
  Summer, 32 hours, 8 weeks, undergraduate course

• LaTeX and academic writing (0413155)
  Fall, 32 hours, 8 weeks, graduate course

• Philosophical logic (04124880)
  Winter, 32 hours, 8 weeks, undergraduate course

I am no longer maintaining pages of older courses.

Students

Here is a list of my current and past students:

• Jilin Wang (PhD, current)

• Faqiang Li (MS, current)

• Huayu Guo (MS, 2025)

• Dongheng Chen (MS, 2024, co-supervised with Beishui Liao)

• Zixin Fang (BS, 2023)

Please feel free to contact me if you are interested in becoming my student.