Since 2023 I am a PhD student in Computer Science at INRIA Rennes - Bretagne Atlantique, team EPICURE currently researching programming languages semantics. My fields of interest include:
- program equivalence checking
- differential semantics
- term rewriting methods
- static analysis
My current research interest is equality saturation. You can check my master thesis there. I did a poster session for the Student Research Contest of POPL'24, you can find a copy of my poster here.
I am a laureate of the french agrégation of Computer Science, ranking 7th out of 20 in the first edition, which took place in 2022. I am also a teaching assistant at École Normale Supérieure de Rennes, from which I graduated. My full curriculum vitae.