Work and Education

At the moment, I am a Research Fellow in Higher Category Theory at the University of Leeds with a Visiting Position at the University of Manchester, UK. The according project is led by Andrew Brooke-Taylor and Nicola Gambino. Before I was a postdoctoral researcher at the MPIM Bonn, Germany, and at the Department for Mathematics and Statistics of Masaryk University in Brno, CZ. As such I was part of the Abstract Homotopy Theory Group led by Viktoriya Ozornova, and part of the Algebra Group led by Jiří Rosický and John Bourke, respectively. I completed my PhD with Nicola Gambino at the University of Leeds, UK, in 2019 studying various classes of homotopy theories with a view towards their higher categorical semantics of Homotopy Type Theory. I did my BSc (2012) and MSc (2014) in Mathematics at the Rheinische Friedrich-Wilhelms-Universität Bonn in Germany with a focus on algebraic topology, set theory and mathematical logic.

My research activities are centered around univalent type theory and higher category theory, and as such are directed towards their aspects in homotopical algebra and higher topos theory.