Writing

• Projective Presentations of Lex Modalities. Febuary 2025.

Talks

• Presentations for Topological Modalities at PSSL 109. November 15-19th 2025.
• Formally Etale Types at SAG 4. March 11-14 2024.

Master’s Dissertation

My Master’s dissertation was on modalities and geometry in homotopy type theory, and was supervised by Kobi Kremnitzer. In it, I review the use of modalities to encode generic geometric structures in type theory, in particular, tangent spaces and bundles, derivatives and étale maps. Then I investigate an open problem regarding classifying the étale maps for nullification of a single type, showing that the standard proof for spheres can be generalised to types which are suspensions other than spheres.