🇬🇧 English Speaking Part

I am a Maître de conférences (equivalent to Associate Professor) at the INP Bordeaux starting from September 1st, 2025, affiliated with the LaBRI in the LX team of the M2F. Before that, I was a postdoctoral researcher at the University of Warsaw under the supervision of Mikołaj Bojańczyk. Even before that, I was a PhD student at the LSV and at IRIF under the supervision of Jean Goubault-Larrecq and Sylvain Schmitz. My thesis received the E. W. Beth Award 2024 for the best thesis in logic, and the Ackermann Award 2024 for the best thesis in theoretical computer science.

My research interests are in Logic, Finite Model Theory, Automata Theory, and Topology. You can find my publications on DBLP and on ORCID, and my full list of published and unpublished documents, talks and reports on the publication page of this website. For a more detailed view of my research activities, you can check my curriculum vitae. I sometimes blog about research, food, trains or academic life.

Note that the rest of this website is in French. Because I am French, and there are already plenty of English-speaking websites out there.

🇫🇷 Partie Francophone

Je suis Maître de conférences à l'INP Bordeaux à partir du 1er septembre 2025, et je suis affilié au LaBRI dans l’équipe LX du département M2F. Avant cela, j’étais chercheur postdoctoral à l'Université de Varsovie sous la direction de Mikołaj Bojańczyk. Avant cela encore, j’étais doctorant au LSV et à l'IRIF sous la direction de Jean Goubault-Larrecq et de Sylvain Schmitz. Ma thèse a reçu le prix E. W. Beth 2024 pour la meilleure thèse en logique et le prix Ackermann 2024 pour la meilleure thèse en informatique théorique.

Mes intérêts de recherche sont la logique, la théorie des modèles finis, la théorie des automates et la topologie. Vous pouvez trouver mes publications sur DBLP et sur ORCID, et ma liste complète de documents publiés et non publiés, de présentations et de rapports sur la page de publications de ce site. Pour une vue plus détaillée de mes activités de recherche, vous pouvez consulter mon curriculum vitae.

Je blogue parfois sur la recherche, la nourriture, les trains ou la vie académique.

📰 Nouvelles / News

• 👨‍👦 Matthieu Vermeil. Est désormais stagiaire co-encadré par Joanna Fijalkow, Arka Ghosh et moi-même dans le cadre de son stage de Master 2. Nous travaillons sur les structures algébriques classiques (anneaux, corps) dans le cadre de la théorie des ensembles "légèrement infinis" (orbit-finite).
• 🍷 Direction Bordeaux. J'ai été recruté en tant que maître de conférences à l'INP Bordeaux
• 📒 ACM Classification Selector. J’ai développé un outil de sélection de classifications ACM pour les articles de recherche, disponible sur GitHub
• 🌲 Theoretical Computer Science for Future. J’ai signé la charte de Theoretical Computer Scientists for Future, qui s’engage à réduire l’impact environnemental de la recherche en informatique théorique.
• 🧯 Bibadać. J’ai développé un petit outil à usage personnel permettant de gérer les fichiers bibtex en perdant (un peu moins) de cheveux.
• 🧜‍♀️ Rester à Varsovie. Je continue pour l’année scolaire 2024-2025 mon contrat postdoctoral à l'Université de Varsovie, toujours sous la direction de Mikołaj Bojańczyk.
• 🔬 Dépôt de citations. Je maintiens un dépôt de citations utiles pour l’informatique théorique en général, avec une page web statique associée.
• 🧜‍♀️ Direction Varsovie. J’ai commencé mi-octobre 2023 un contrat postdoctoral à l'Université de Varsovie sous la direction de Mikołaj Bojańczyk.
• 🎉 Prix de thèse. J’ai reçu le prix de thèse E. W. Beth 2024, qui récompense chaque année une thèse en logique, ainsi que le prix de thèse Ackermann qui récompense une thèse en
• 🏋️‍♂️ Workshop Autobóz. J’ai co-organisé avec Marie Fortin et Chana Weil-Kennedy le Workshop Autobóz qui a eu lieu du 14 au 20 Juillet à Keibu en Estonie.
• 📽️ Séminaire automates. Avec Arthur Jaquard et Alexandra Rogova, j'ai été co-organisateur du séminaire automates qui a lieu tous les vendredis (ou presque) à 14h à l'IRIF en salle 3052. Les séminaires sont accessibles sur Zoom et les enregistrements sont disponibles (il suffit de demander).