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).

Contact

I am email-able at firstname.name@inria.fr. Students may also use Discord or my @ens-rennes.fr mailbox. Don't hesitate to call or visit office F209 when I'm at the lab!