About Me

I am a first-year PhD student in the team in the team SPICY at IRISA.
My supervisors are David BAELDE and Stéphanie DELAUNE.
I am working on the automation of the protocol prover Squirrel using SMT solvers. Here is a presentation made during the SVP days 2024.

Formation

I studied at the ENS Rennes and obtained my master degree in 2023. I also ranked 5th out of 26 at the agrégation of Computer Science in 2023. Here is my full curriculum vitae.