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.
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).