About

Since October 2022, I am a postdoc at University of Regensburg in the group of Denis-Charles Cisinski, as part of the Collaborative Research Centre Higher Invariants funded by the DFG. Before, I was a postoc at the Max Planck Institute of Mathematics in Bonn. I completed my PhD in February 2021 at EPFL, under the supervision of Jérôme Scherer and Kathryn Hess.

Research Interests

My research focuses on different aspects of higher category theory and homotopy theory.

(∞,n)-Category Theory

A large part of my work focuses on the development of the theory of (∞,n)-categories, starting with the definition and study of universal properties, such as (∞,n)-straightening-unstraightening, (∞,n)-limits, (∞,n)-adjunctions, and (∞,n)-Kan extensions. My approach leverages the strong relation between enriched categories and internal categories, showing that enriched universal properties can be better formulated in an internal setting.

A list of my papers can be found here.

Formal (∞,n)-Category Theory

More recently, I became particularly interested in developing (∞,n)-category theory from a purely formal point of view, in axiomatic foundations such as synthetic category theory. In this direction, after setting up a suitable formal framework for (∞,n)-categories, we have already established an (∞,n)-version of Quillen’s Theorem A, the (∞,n)-Yoneda lemma, and the universal property of the (∞,n)-categories of (∞,n)-presheaves.

The ongoing project on formal (∞,n)-category theory can be found here.

Other

I also have projects related to higher algebraic structures, their categorification, and their connections with topological quantum field theory.