Je suis maître de conférences à l'université de Créteil, dans l'équipe Logique, calcul et programmation du lacl.
J'ai fait ma thèse avec Andrzej Zuk
entre
2018 et 2022 à l'Université Paris Cité. Puis j'ai fait un premier post-doctorat à Sarrebruck avec
Laurent Bartholdi.
Finalement, de septembre
2023 à août 2025, j'ai été lauréat d'une bourse von Humboldt pour travailler avec
Vasco Brattka à Munich.
Recherche
Mon premier domaine de recherche est l'étude de la calculabilité en théorie des groupes.
J'ai par la suite été amené à m'intéresser à l'analyse calculable, parce que c'est dans ce domaine qu'a été
développée une théorie robuste pour l'étude de la calculabilité en mathématiques: les notions d'espace représenté
ou
d'ensemble numéroté, et la
réduction de Weihrauch
entre les problèmes (qui correspond à la bonne définition de la réduction many-one, et qui permet aussi de donner
une définition générale et robuste de la réduction de Turing).
Publications
- Appendice à un article de Arman Darbinyan: A robust family of residually finite groups; spectra of residual finiteness growth, computability properties, and other applications (with an appendix by Arman Darbinyan and Emmanuel Rauzy), Prépublication, 2025.
- Avec Vasco Brattka. Effective Second Countability in Computable Analysis, Version complète (soumise), version conférence , CiE 2025.
- Avec Laurent Bartholdi et Leon Pernak. Groups with presentations in EDT0L. Groups, Geometry and Dynamics, 2025. Slides . Exposé filmé .
- New definitions in the theory of Type 1 computable topological spaces. Accepté par Computability, 2023.
- Multi-representation associated to the numbering of a subbasis and formal inclusion relations. Logical Methods in Computer Science, 2025.
- A generalization of Markov's approach to the continuity problem for Type 1 computable functions. Prépublication, 2023.
- Remark and problems about algorithmic descriptions of groups. International Journal of Algebra and Computation , 2025.
- Computable analysis on the space of marked groups. Prépublication, 2021. Exposé filmé.
- Computability of finite quotients of finitely generated groups. Journal of Group Theory, 2022.
- Obstruction to a Higman Embedding Theorem for residually finite groups with solvable word problem. Journal of Group Theory, 2021.
