ANU Logic Summer School

At the 2022 and 2023 editions of the ANU Logic Summer School I lectured a short course on modal logic. In six one-hour lectures I introduced Kripke semantics for normal modal logic and worked towards the Van Benthem characterisation theorem.

• Day 1: Modal logic, Kripke frames and correspondence

• Day 2: Standard translation, bisimulations and the Hennessy-Milner theorem

• Day 3: Countably saturated models and the Van Benthem theorem

ANU COMP1100: Programming as problem solving

This course gives an introduction to functional programming in the computer science bachalor of the ANU. I was co-convenor and -lecturer, jointly with Ranald Clouston.