My Curriculum Vitae

icone

Experiences

  • 2026: Talked at the work group SDA2.

  • 2025: Invited speaker to the team seminar of symPA team, University of Amiens.

  • 2025: Presentation of the article “Multidimensional tilings and MSO logic” during the conference Computability in Europe (CiE)

  • 2025: Talked at the work group SDA2 (Symbolic Dynamics, Automata and Algorithm).

  • 2024: Presentation of the article “Two-player Domino games” during the conference Computability in Europe (CiE)

  • 2023-24: 9-month internship “Study of sets and subshifts defined by MSO formulas” with Ilkka Törmä, University of Turku. Led to the publication of the article “Multidimensional tilings and MSO logic”.

  • 2023: 5-months reasearch internship “Study of two-player games on tilings” with Benjamin Hellouin De Menibus, University Paris-Saclay. Led to the publication of the article “Two-player Domino games”.

  • 2022: 11-weeks research internship “A design for FUZZ to avoid timing attacks” with Ugo Dal Lago, University of Bologna. Presentation of our work to the AMACC team (Caen).

  • 2021: 7-weeks reasearch internship “Exact complexity of some dynamical properties of tilings” with Pascal Vanier, University of Caen.

Studies

  • 2024-…: PhD thesis in computer science “Structural aspects of computability of tiling spaces”.

  • 2023-24: 9 months internship in a lab in Turku (Finland). Graduated from ENS Paris-Saclay.

  • 2021-23: Research Parisian Master in Computer Science (MPRI)

  • 2020-21: Entry to ENS Paris-Saclay and obtention of a Bachelor’s degree in fundamental computer science.

  • 2018-20: Math-Physics Prep school, Blaise Pascal, Clermont-Ferrand.

Other skills

  • Advanced experience of programming in several languages (Python, OCaml, C, C++, ASM, Java, Rocq, LaTeX…). Personal projects include a tool that optimises player match-ups for competitive Warhammer Age of Sigmar teams.

  • English: fluent (IELTS 7).

  • Office software: Excel, Word, Powerpoint.

  • Multiple teaching experiences during my PhD but also apart from it.