Teaching

Courses

I teach the following courses regularly at Zhejiang University:

• Foundations of mathematical logic (0421202)
  Spring and Summer, 48 hours, 16 weeks, graduate course

• LaTeX in 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:

• Faqiang Li (MS, current)

• Huayu Guo (MS, current)

• Jilin Wang (BS, current)

• Zixin Fang (BS, 2023)