My research area is Model theory, a branch of Mathematical Logic, and its applications to algebra. I am especially interested in the model theory of valued fields and ordered abelian groups, including structures such as Hahn fields and extensions of p-adic fields.
Recently, I have also started a new project involving Lean 4, exploring formal verification and its potential applications in mathematics.
Growing spines ad Infinitum, joint with B. Boissonneau, F. Jahnke and P. Touchard, 2025. (preprint) arXiv
A characterization of pseudo complete finitely ramified henselian valued fields through a Hahn-like construction, Q. J. Math., 2025. DOI | arXiv
Relative model completeness of finitely ramified henselian valued fields with various value groups, 2024. (submitted) arXiv
05.08.2025, Augmentable ordered abelian groups and definable henselian valuations, DDG40: Structures algébriques ordonnées, Banyuls-sur-mer, France. slides
27.06.2025, Definability of henselian valuations via properties of ordered abelian groups, Workshop on applications of model theory in combinatorics and valued fields, IMS, Singapore. video
22.05.2025, Definability of henselian valuations via model-theoretic properties of ordered abelian groups, Mini-workshop: Recent developments on the model theory of fields, Università di Napoli Federico II, Napoli, Italy.
20.05.2025, Augmentable ordered abelian groups and applications to henselian valued fields, Istanbul Model Theory Days I, Bogazici University, Istanbul, Turkiye.
18.11.2024, A Hahn-like construction for finitely ramified valued fields, Seminar in "Logic, Categories, and Applications", University of Bologna, Bologna, Italy. abstract
01.07.2024, A Hahn-like construction for finitely ramified valued fields, Oberseminar "Complexity Theory, Model Theory, Set Theory", the University of Konstanz, Germany.
21.06.2024, Relative model completeness of finitely ramified henselian valued fields with various value groups, LYMoTS, University of Manchester, UK
06.06.2024, A Hahn-like construction for finitely ramified valued fields, Oberseminar "Algebra and Geometry", University of Dortmund, Germany.
11.03.2024, Mixed characteristic valued fields and twisted power series, Young women in Model Theory and Applications - Workshop, Hausdorff Center for Mathematics, Bonn, Germany.
18.01.2024, Value groups of finitely ramified henselian valued fields and model completeness, Research Seminar in Model Theory and Groups 2023/2024, University of Münster, Germany.
17.01.2024, Value groups of finitely ramified henselian valued fields and model completeness, LLAMA Seminars 2023/2024, Institute of Logic, Language and Computation (ILLC) of the University of Amsterdam, Netherlands.
07.12.2023, Model completeness of finitely ramified henselian valued fields with various value groups, Seminars in Mathematical Logic 2023/2024, Dipartimento di Matematica dell’Università di Pisa, Italy.
08.05.2023, A characterization of saturated models of a finite extension of Qp: the "twisted" power series, Seminars in Mathematical Logic 2022/2023, Dipartimento di Matematica dell’Università degli Studi di Salerno, Italy.
10.11.2022, A characterization of ω-pseudo complete formally p-adic fields, Seminars in Mathematical Logic 2022/2023, Dipartimento di Matematica "R. Caccioppoli" dell’Università degli Studi di Napoli "Federico II”, Italy.
11.04.2022, On model completeness of mixed characteristic henselian valued field with finite ramification, Séminaire Général de Logique, Instítut de Mathématique de Jussíeu - París Ríve Gauche, France.