Synthetic Stone duality
I was invited to participate in the Homotopy Type Theory Electronic Seminar Talks. The talk was recorded and can be found on youtube.
Talks and presentations
Light Condensed Types
I participated in the Workshop on Synthetic Algebraic Geometry in 2024. My talk there was recorded and can be found on youtube.