Algebraic topology, homotopy theory and higher category theory.

I am a postdoctoral researcher at the University of Regensburg, in the working group of Marc Hoyois, and an associated member of the SFB 1085 Higher Invariants.

Much of my work is about equivariant and global phenomena in stable homotopy theory, and about the parametrized higher-categorical language that makes them tractable: universal properties of equivariant and global spectra, norms and transfers, twisted ambidexterity, spans and bispans, and six-functor formalisms. Alongside this I have worked on the homotopy theory of differentiable stacks, and more recently on synthetic and type-theoretic foundations for ∞-categories.

• equivariant homotopy theory
• global homotopy theory
• parametrized ∞-categories
• twisted ambidexterity
• norms and transfers
• six-functor formalisms
• differentiable stacks
• type theory & formalization