About me

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