I'm a PhD student in the Geometry and Topology group, where I work on the project "Effective Spectra" supervised by Achim Krause. The goal of the project is to understand computational properties of stable homotopy theory. More generally, I am interested in homotopy theory, higher category theory and their applications across mathematics.