Since January 2025 I am a postdoctoral researcher at the Laboratoire d’Informatique et Systèmes in the CANA team. I am currently funded by the ANR DisQC project. I have worked in the same lab since 2022, but in the LIRICA and DALGO teams in the context of the ANR projects LambdaComb and DUCAT, respectively.

My research is in the domain of fundamental computer science, focussed mainly on the study of directed systems. In particular, I am interested in combinatorial and topological models of distributed and concurrent systems, as well as in the formalisation and development of higher dimensional rewriting techniques.

Depuis janvier 2025 je suis chercheur post-doctoral au Laboratoire d’Informatique et Systèmes au sein de l’équipe CANA dans le contexte du projet ANR DisQC. Avant cela, j’ai travaillé au sein du même laboratoire mais dans les équipes LIRICA et DALGO dans le contexte des projets ANR LambdaComb et DUCAT.

Mes travaux se situent à la frontière entre les mathématiques et l’informatique. Je m’intéresse principalement à l’étude des systèmes dirigées, soit dans la domaine de la réécriture de dimension supérieure et sa formalisation, soit dans l’étude de systèmes concurrents ou distribuées, souvent avec un approche topologique.

Here you can find a local copy of my CV.

Ici vous trouverez une copie locale de mon CV.

Previous Next

I obtained my PhD in mathematics and computer science at Ecole Polytechnique in November 2022, under the supervision of Eric Goubault and Philippe Malbos.

En Novembre 2022, j’ai obtenu mon doctorat en mathématiques et informatique, sous co-direction de Eric Goubault et Philippe Malbos.

You can contact me at : firstname dot lastname at lis dash lab dot fr. <p> My ENS de Lyon address is no longer in use.