As Instructor (at Lingnan)

Computability and Logic (MA course, Spring 2025)

Ethics of AI * 2 (MA course, Fall 2024, 2025)

As Instructor (at HKU)

Value theory (Spring 2024)

Paradoxes of decision (Spring 2024)

Fundamentals of AI, Data and Algorithms (MA course, Fall 2023, Co-taught with Boris Babic)

As TA

Formal Epistemology (HKU); Paradoxes of decision (HKU); Deductive logic (Lingnan)