Expériences

• 2026: Participation en tant qu’auditeur et orateur au groupe de travail SDA2.

• 2025: Orateur invité au séminaire de l’équipe symPA (Université d’Amiens).

• 2025: Présentation du papier “Multidimensional tilings and MSO logic” lors de la 21e édition de la conférence Computability in Europe (CiE).

• 2025: Participation en tant qu’auditeur et orateur au groupe de travail SDA2 (Dynamique Symbolique, Algorithmes et Automates).

• 2024: Présentation du papier “Two-player Domino games” lors de la 20e édition de la conférence Computability in Europe (CiE).

• 2023-24: Stage “Study of sets and subshifts defined by MSO formulas”. Stage de recherche de 9 mois auprès d’Ilkka Törmä, Université de Turku. A mené à la publication du papier “Multidimmensional tilings and MSO logic”.

• 2023: Stage “Etude d’un jeu à deux joueurs sur les pavages”. Stage de recherche de 5 mois auprès de Benjamin Hellouin De Menibus, Université Paris-Saclay. A mené à la publication du papier “Two-player Domino games”.

• 2022: Stage de recherche de 11 semaines “A design for FUZZ to avoid timing attacks” auprès d’Ugo Dal Lago, Université de Bologne. Présentation de notre travail à l’équipe AMACC (Caen).

• 2021: Stage de recherche de 7 semaines “Complexité exacte de certaines propriétés dynamiques des pavages” auprès de Pascal Vanier, Université de Caen.

Études

• 2024-…: Thèse en informatique “Aspects structurels de la calculabilité des espaces de pavage”.

• 2023-24: Stage de 9 mois dans un laboratoire à Turku (Finlande). Obtention du diplôme de l’ENS Paris-Saclay.

• 2021-23: Master Parisien de Recherche en Informatique (MPRI)

• 2020-21: Entrée à l’ENS Paris-Saclay et obtention d’une licence d’Informatique Fondamentale.

• 2018-20: Classe préparatoires MP, Lycée Blaise Pascal, Clermont-Ferrand.

Compétences extra-mathématiques

• Expérience avancée de programmation dans des langages diversifiés (Python, OCaml, C, C++, ASM, Java, Rocq, Latex,…) y compris hors du cadre académique (par exemple la création d’un outil permettant d’optimiser les appareillements entre les joueurs pour les équipes compétitives de Warhammer Age of Sigmar).

• Anglais: Niveau professionel (IELTS 7, C1).

• Bonne maîtrise des outils de bureautique (toute la licence LibreOffice).

• Multiples expériences d’enseignement durant mon doctorat mais également en dehors.