I am a PhD student at the University of Copenhagen, although I’m currently based at the University of 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 pure mathematics in the Lean theorem prover. I post my ongoing projects to GitHub.