Formal Methods for AI, Ethics, and Society (PHIL7010)
Logic, formal reasoning, and quantitative methods applied to questions about AI systems and their governance.
Instructor: Alice Wong (co-taught)
Term: MA in AI, Ethics, and Society
Location: The University of Hong Kong
A methods course on the taught-postgraduate MA in AI, Ethics, and Society at HKU, co-taught with tutorial sections.
Students work on the formal tools needed to state claims about AI systems precisely enough to evaluate them — and on recognising where a formalisation has quietly smuggled in a normative assumption.