I am a PhD student in Computer Science at INRIA Rennes - Bretagne Atlantique, team HYCOMES, currently researching symbolic computation. My fields of interest include:

  • formal methods
  • combinatorial optimization
  • data representation and graph theory
  • program writing

I am a laureate of the french agrégation of Computer Science, ranking 6th 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. Previously, I was also a part-time contract teacher at EPITA Rennes.