# Papers

- Definable equivalence relations and zeta functions of groups, joint with Ehud Hrushovski and Ben Martin, with an appendix by Raf Cluckers. To appear in the Journal of the European Mathematical Society (JEMS). arXiv:math/0701011.
- Concurrent games, with Simon Castellan, Pierre Clairambault and Glynn Winskel. To appear in LMCS. arXiv:1604.04390.
- Imaginaries and
invariant types in existentially closed valued
differential fields. To appear in the Journal für die
reine und angewandte Mathematik
(Crelle). 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 and invariant types in enrichments of NIP theories, with Pierre Simon. Journal of Symbolic Logic, 82(1), pp 317-324, 2017. Doi:10.1017/jsl.2016.35. arXiv:1507.06863.
- Some properties of analytic difference valued fields. Journal of the Institute of Mathematics of Jussieu 16(3), pp 447-499, 2017. Doi:10.1017/S1474748015000183. arXiv:1401.1765.
- Concurrent Strategies, joint with Glynn Winskel. Logic in Computer Science (LICS 2011), pp 409-418, 2011. Doi:10.1109/LICS.2011.13.
- Validating Register Allocation and Spilling, joint with Xavier Leroy. Compiler Construction (CC 2010), volume 6011 of Lecture Notes in Computer Science, Springer, pp 224-243, 2010. Doi:10.1007/978-3-642-11970-5_13.

# Slides

- The slides of my talk at the Model Theory conference in Bedlewo in July 2017. Their main goal is to explain the elimination of imaginaries in bounded pseudo-p-adically closed fields down to the geometric sorts for each valuations. The video of this talk can be found here.
- The slides of my talk at the UCLA Logic Colloquium in April 2016. In this talk, I present a general method for eliminating imaginaries in valued fields with operators by relating this question to computing the canonical basis of definable types. This is then applied to contrative valued differential fields and separably closed valued fields of finite imperfection degree. I also gave a short version of this talk at the 2016 ASL meeting in Stoors.
- The slides of my talk at the UC Berkeley Logic Colloquium in November 2015. I present two broad transfer of imaginaries principles that can be used to reduct various elimination of imaginaries result to elimination of imaginaries in algebraic closed fields or algebraically closed valued fields.
- The slides of my talk at the model theory special session of the Logic Colloquium 2015 which was held in Helsinki. Its main object is the elimination of imaginaries in Scanlon's differential valued fields.
- The slides of my PhD defense that was held in December 2014. It concerns quantifiers and imaginaries and expecially their elimination in valued fields.
- The slides of my talk a the Model Theory in Geometry and Arithmetic workshop in the spring 2014 at MSRI, on the uniform elimination of imaginaries in p-adic fields and its applications to rationality questions for certain zeta functions in group theory. The video of this talk can be found here.
- The slides of my talk at the British Postgraduate Model Theory conference in 2014, on the elimination of quantifiers in analytic difference valued fields.
- The slides of a talk at the model theory seminar in Berkeley on the elimiantion of imaginaries in p-adic fields and their ultraproducts. You may find here a shorter version of these slides in french.

# Notes

- A text on the elimination of imaginaries in p-adic fields. This is a completed version of my M2 disseration.
- An introduction to my research that I wrote for the Ens.

# Dissertations

- My PhD thesis written under the supervision of Élisabeth Bouscaren and Tom Scanlon. Here is an english translation of the introduction.
- My M2 dissertation, written under the supervision of Élisabeth Bouscaren.
- A disseration about stable domination, generic stablity and orthogonality in ACVF that I wrote for a class at Paris 6.
- A disseration that I wrote with Gabriel Scherer for 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 and various other things.