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 agrégation of Computer Science, a very selective nationwide examination for higher level teaching in France. I ranked 7th out of 20 laureates in the first ever edition, which took place in 2022. I teach some classes and do some teaching assistant work at École Normale Supérieure de Rennes, from which I graduated. My curriculum vitae (2023).