Teaching

• Instructor at Lingnan University

- Computability and Logic (new MA course), Spring 2025, 2026, 2027

- Introduction to Automated Reasoning (MA course), Fall 2026

- Philosophy of Machine Learning (new BA course), Fall 2026

- Ethics, Gender, and AI (Global Summer School 2026, AI & Humanities), July 2026

- Policy, Business, and Regulatory Issues in AI (MA course), Spring 2026

- Ethics of AI (new MA course), Fall 2024, 2025

• Instructor at the University of Hong Kong

- Paradoxes of Decision, Spring 2024

- Value Theory, Spring 2024

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

• Teaching Assistant

- Formal Epistemology, Fall 2021, at the University of Hong Kong

- Paradoxes of Decision, Fall 2021, at the University of Hong Kong

- Deductive Logic, Fall 2019, at Lingnan Univerisity