Academic positions. I have started my Lecturer position at the University of Sheffield, School of Computer Science, in August 2023.

Before that, I have held similar positions in Aix-Marseille University (2017-2022) and then in Bordeaux INP (2022-2023). Earlier, I was a postdoc in Dundee (Autumn 2015) and then in Bologna (2016-2017).

I hold a PhD from Paris Diderot University (2016) and studied Mathematics and Theoretical Computer Science at ENS Cachan (now ENS Paris-Saclay).

Research interests. Most of my work so far is in mathematical modelling of programs, especially functional programs, sometimes enhanced with probabilistic operations.

Over the years, I have had the pleasure to find out that the techniques and tools used in program verification can actually be applied to many more fields. I have also developed my knowledge in other importants contemporary fields of computer science. This enables me at the moment to go more towards real-life applications, for instance in medicine.

I'm eager to keep working on functional programs' verification, which open so many nice theoretical questions! But I also expand my interests -- Sheffield is such a great place for developing interdisciplinary research!

Overall, I enjoy developing bridges between various fields of scientific research, then allowing one to transfer results from one field to the other.