Curriculum vitae
Academic appointments
| Period | Position |
|---|---|
| July 2026–present | Research Fellow, University of Melbourne, Australia. Working with Cezary Kaliszyk. |
| 2025–June 2026 | Research Fellow, University of Birmingham, United Kingdom. Working with Anupam Das. |
| 2022–2024 | Research Fellow, Australian National University, Australia. Working with Peter Höfner. |
Education
- 2018–2022 · PhD, Australian National University, Canberra. Supervisor: Rajeev Goré. Thesis (2023).
- 2017–2018 · Logic Year, Institute for Logic, Language and Computation, Amsterdam.
- 2015–2017 · Master’s degree in Philosophy and Logic, Université Paris 1 Panthéon-Sorbonne.
- 2012–2015 · Bachelor’s degree in Philosophy and Logic, Université Paris 1 Panthéon-Sorbonne.
Awards
- 2024 · IJCAR best paper award for “Mechanised uniform interpolation for modal logics K, GL and iSL”, with Hugo Férée, Iris van der Giessen and Sam van Gool.
- 2023 · TABLEAUX best paper award for “A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised”, with Iris van der Giessen, Rosalie Iemhoff and Rajeev Goré.
Publications
My publication list includes conference papers, journal articles, extended abstracts and theses, with links to available papers.
Teaching and 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 tutorial
2025 · Rocqing Proof Theory — Lecturer at Proof Representations: From Theory to Applications, BIRS workshop 25w5406, Canada.