Talks

• Fibred models of crisp type theory and Kripke-Joyal forcing. Final PhD presentation. Foundations Cluster Seminar, School of Computing, Australian National University. April 14, 2025.
• Modal hyperdoctrine: non-normal and higher-order extensions. Logic, Language, Information, and Computation: 30th International Workshop, WoLLIC 2024, Bern, Switzerland. June 10–13, 2024.
• Who cares about modal type theory?. Foundations Cluster Seminar, School of Computing, Australian National University. November 13, 2023.
• Pen-and-paper type theory: Understanding a modal type theory via a categorical model. Contributed talk at Interactions of Proof Assistants and Mathematics International Summer School, Regensburg, Germany. September 2023.
• Modelling crisp type theory. Manchester Category Theory Seminar. July 2023.
• Modelling crisp type theory. Johns Hopkins Category Theory Seminar. May 2023.
• Hyperdoctrine semantics for higher-order modal logic. 27th meeting of the Yorkshire and Midlands Category Theory Seminar, University of Leeds, UK. May 2022.