Preprints

Pseudo T-closed fields,
with Samaria Montenegro. arXiv:2304.10433.
Enriching a predicate and tame expansions of the integers,
with Gabriel Conant, Christian d'Elbée, Yatir Halevi and Léo Jimenez. arXiv:2203.07226.
Un principe d'Ax-Kochen-Ershov imaginaire,
with Martin Hils. arXiv:2109.12189.
Hensel minimality II : Mixed characteristic and a diophantine application,
with Raf Cluckers, Immi Halupczok and Floris Vermeulen. arXiv:2104.09475.

Papers

Hensel minimality I,
with Raf Cluckers and Immi Halupczok. Forum Math. Pi 10, Paper No. e11. 2022. Doi:10.1017/fmp.2022.6. arXiv:1909.13792.
A short note on groups in separably closed valued fields. Ann. Pure Appl. Logic 172, no. 4, Paper No. 102943. 2021.
Doi:10.1016/j.apal.2021.102943. arXiv:1612.02165.
Imaginaries, Invariant types and pseudo-p-adically closed fields,
with Samaria Montenegro. Trans. Amer. Math. Soc. 374, no. 2, 803–828. 2021.
Valued fields, Metastable groups,
with Ehud Hrushovski. Selecta Math. (N.S.), 25(3), 2019. Doi:10.1007/s00029-019-0491-x. arXiv:1709.08801.
Imaginaries and invariant types in existentially closed valued differential fields.
J. Reine Angew. Math. (Crelle), 750, pp 157–196, 2019. Doi:10.1515/crelle-2016-0036. arXiv:1508.07935.
In this earlier version, there are a few more results that did not make it to the final version.
Definable equivalence relations and zeta functions of groups,
with Ehud Hrushovski and Ben Martin, with an appendix by Raf Cluckers. J. Eur. Math. Soc. (JEMS), 20(10), pp 2467–2537, 2018. Doi:10.4171/JEMS/817. arXiv:math/0701011.
Imaginaries in separably closed valued fields,
with Martin Hils and Moshe Kamensky. Proc. Lond. Math. Soc. (3), 116(6), pp 1457-1488, 2018. Doi:10.1112/plms.12116. arXiv:1612.02142.
Games and strategies as event structures,
with Simon Castellan, Pierre Clairambault and Glynn Winskel. Log. Methods Comput. Sci. 13(3), 2017. Doi:10.23638/LMCS-13(3:35)2017. arXiv:1604.04390.
Definable and invariant types in enrichments of NIP theories,
with Pierre Simon. J. Symb. Log. 82(1), pp 317–324, 2017. Doi:10.1017/jsl.2016.35. arXiv:1507.06863.
Some properties of analytic difference valued fields.
J. Inst. Math. Jussieu 16(3), pp 447–499, 2017. Doi:10.1017/S1474748015000183. arXiv:1401.1765.
Concurrent Strategies,
with Glynn Winskel. Logic in Computer Science (LICS 2011), pp 409-418, 2011. Doi:10.1109/LICS.2011.13.
Validating Register Allocation and Spilling,
with Xavier Leroy. Compiler Construction (CC 2010), Lecture Notes in Comput. Sci., 6011, pp 224-243, 2010. Doi:10.1007/978-3-642-11970-5_13.

Talks

Pseudo T-closed fields, approximations and NTP2 Géométrie et théorie des modèles, Paris, May 2021: slides.
La théorie géométrique des modèles Comment lier structure et combinatoire , Raconte-moi, DMA, ENS, February 2021: slides.
A model theoretic theoretic account of the tilting equivalence, Séminaire Lyon-Paris, April 2020: slides.
Asymptotic imaginaries in (Fp((t))^alg, v, φ_p), San José, Costa-Rica, June 2020: slides.
A model theoretic theoretic account of the tilting equivalence, Séminaire Lyon-Paris, April 2020: slides.
Imaginaires dans les corps Henséliens, Séminaire de logique, Lyon, November 2018: slides.
Metastability, Neostability Theory, Oaxaca, October 2018: video.
Imaginaires dans les corps henséliens de charactéristique zéro, et applications aux questions de rationalités de certaines fonctions zêta locales, Second Congrès de la SMF, Lille, June 2018: slides.
Towards an imaginary Ax-Kochen-Ershov principle, Model theory and valued fields, IHP, Paris, March 2018: slides, video.
Prolongations in valued fields, Dart VIII, Linz, September 2017: slides, video.
Imaginaries in pseudo-p-adically closed fields , Model Theory, Bedlewo, July 2017: slides, video.
Imaginaries in Valued Differential Fields I: Finding Prolongations, Kolchin Seminar, New York, October 2016: video 1, video 2.
Imaginaries in valued fields with operators (short version), ASL Annual NA Meeting, Stoors, May 2016: slides.
Imaginaries in valued fields with operators, UCLA Logic Colloquium, April 2016: slides
Transferring Imaginaries, UC Berkeley Logic Colloquium, November 2015: slides.
Imaginaries and definable types in valued differential fields, Logic Colloquium, Helsinki, August 2015: slides.
Élimination dans les corps valués, PhD defense, Orsay, December 2014: slides.
Definable and invariant types in enrichments of NIP theories, Neostability Theory, Oaxaca, July 2014: video.
Transferring imaginaries, How to eliminate imaginaries in p-adic fields, Model Theory in Geometry and Arithmetic, MSRI, Berkeley, May 2014: slides, video.
Analytic difference fields, Elimination of field quantifiers and Ax-Kochen-Eršov principle, British Postgraduate Model Theory, Leeds, January 2014: slides.
Transferring imaginaries, How to eliminate imaginaries in p-adic fields, British Postgraduate Model Theory, Manchester, January 2013: slides.
Transferring imaginaries, How to eliminate imaginaries in p-adic fields, Model theory seminar, Berkeley, April 2013: slides.
Transfert d’imaginaires, Comment éliminer les imaginaires dans les corps p-adiques, Séminaire de logique, Lyon, September 2013: slides.

Other texts

My PhD thesis written under the supervision of Élisabeth Bouscaren and Tom Scanlon.
The english translation of the introduction to my PhD thesis.
A text on the elimination of imaginaries in p-adic fields.
My Masters dissertation, written under the supervision of Élisabeth Bouscaren.
An introduction to my research that I wrote at the Ens.
A disseration about stable domination, generic stablity and orthogonality in ACVF that I wrote during a class in Masters.
A disseration that I wrote with Gabriel Scherer at the Ens. It is about the independance of Goodstein's theorem in Peano's arithmetic. One can also find a proof of Gentzen's theorem in there.