Thing(s) I am organising

• [09-12.2025] (with Thomas Thorbjørnsen) Reading seminar on topos theory [website].

Thing(s) I have presented

• [07.2024] Formalising simplicial type theory. Poster presentation at PLS 14 [ pdf].

Some things I have attended

• [07-08.2025] ESSLLI 2025, Ruhr-Universität Bochum
• [06.2025] FMCS 2025, University of Ottawa
• [04.2024] HoTT/UF 2024, KU Leuven.