Teaching & supervision
Courses at the Australian National University
| Year | Role | Courses |
|---|---|---|
| 2024 | Lecturer | Logic (second-year computer science / philosophy) |
| 2022 | Tutor | Theory of Computation (third-year computer science) |
| 2021 | Tutor | Modal and Temporal Logics; Principles of Programming Languages (third-year computer science); Logic (second-year computer science / philosophy); Foundations of Mathematics (third-year mathematics) |
| 2020 | Tutor | Logic (second-year computer science / philosophy); Foundations of Mathematics (third-year mathematics) |
| 2019 | Tutor | Overview of Logic and Computation (third-year computer science) |
Student research projects
- Jonte Deakin · ANU, 2024 — “Bi-intuitionistic logics through the abstract algebraic logic lens”. Related preprint.
- Carolina Pardo Teruel · ANU, 2024 — “Verified Satisfiability Checking for Modal Logic”.
Workshop teaching
In 2025, I taught Rocqing Proof Theory at Proof Representations: From Theory to Applications (BIRS workshop 25w5406), Canada.