I am currently a project researcher at Ichiro Hasuo‘s ERATO Metamathematics for Systems Design Project (ERATO MMSD) at the National Institute of Informatics (NII) in Tokyo, Japan.
The core of my research deals with opetopic foundations to higher structures, and the homotopy theory of opetopic algebras. Recently though, my activities shifted towards more applied topics, such as scientific programming, and machine learning (mainly neural networks) with applications to autonomous vehicles.
I obtained my PhD in mathematics from Paris University, France, in October 2020, where I was a student at the Research Institute for Foundations of Computer Science (IRIF), under the supervision of Pierre-Louis Curien (IRIF) and Samuel Mimram (LIX, École Polytechnique). There, I was a member of PPS team (IRIF) and πr2 team of the National Institute for Research in Computer Science and Control (INRIA).
I graduated with both a bachelor’s and master’s degree in mathematics from École Polytechnique Fédérale de Lausanne (EPFL), Switzerland. I wrote my master’s thesis as an exchange student at the University of Copenhagen, Denmark, under the supervision of Nathalie Wahl and Kathryn Hess (EPFL).