I am a PhD student at the University of Copenhagen, currently based in Akureyri, Iceland. Dustin Clausen is my supervisor and my research concerns aspects of condensed mathematics. I have worked on establishing the foundations of a theory of solid spectra, a higher analogue of solid abelian groups, which is a notion of completeness on top of the condensed structure. More recently, I have worked on the formalisation of condensed mathematics in the Lean theorem prover. I post my ongoing projects to GitHub. I strive to contribute everything I formalise to Lean’s mathematical library mathlib, where I am also a reviewer.