Postdoc at the University of Regensburg. On G-semiadditivity: On an approach to the six functor formalism via the universality of certain -categories of higher correspondences: On global equivariant homotopy theory and cohesive homotopy theory applicable to differential orbifold cohomology: On formal (infinity,1)-category theory: On localization of -categories and the relative Rezk nerve: