I am a postdoctoral researcher currently working as an ATER (akin to an assistant lecturer) at the LIPN, the Computer Science laboratory of Université Paris Nord. I have also previously worked for Inria-Saclay at LIX, École Polytechnique, Paris, and for Aix-Marseille Université in what is now the I2M. During these posts I was an active participant on the ERC project `ProofCert’ and the ANR projects `LOGOI’ and `COQUAS’.
My research sits on the boundary of maths and computer science. At the moment I primarily study logics and their semantics, and how they relate to category-theoretical constructions. However, I am becoming ever more interested in investigating real-world problems using my applied mathematical background.