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 higher category theory, opetopes, 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, and I wrote my master’s thesis in exchange at the University of Copenhagen.