I am a PhD student at the Research Institute for Foundations of Computer Science (IRIF) of Paris University, under the supervision of Pierre-Louis Curien (IRIF) and Samuel Mimram (LIX, École Polytechnique). I am a member of PPS team (IRIF) and πr2 team (National Institute for Research in Computer Science and Control (INRIA)).
My research topics include opetopic foundations of higher category theory, homotopy theory, type theory, and homological algebra.
I graduated with both a bachelor’s and master’s degree in mathematics from École Polytechnique Fédérale de Lausanne (EPFL), and I wrote my master’s thesis as an exchange student at the University of Copenhagen, under the supervision of Nathalie Wahl and Kathryn Hess (EPFL).