Phd student.

Talks
[1 Using Coq to formalize mathematics and critical systems. Imperial College CAS group meeting, London, UK, July 2018.
[2 Synthetic topology in HOTT for probabilistic programming. Chocola meeting (invited speaker), Lyon, France, May 2018.
[3 Définir le fini: deux formalisations d'espaces de dimension finie. JFLA 2018, Banyuls-sur-mer, France, January 2018.
[4 Un cadre pour la preuve de programmes probabilistes. JFLA 2018, Banyuls-sur-mer, France, January 2018.
[5 Analyse d‘erreurs de méthodes numériques de résolution d‘équations différentielles. Séminaire LRI-VALS, Orsay, France, Dec. 2017.
[6 Round-off Error Analysis of Explicit One-Step Numerical Integration Methods. RAIM, Lyon, France, October 2017.
[7 Formalization and closedness of finite dimensional subspaces. SYNASC, Timişoara, Romania, September 2017.
[8 Round-off Error Analysis of Explicit One-Step Numerical Integration Methods. ARITH, London, UK, July 2017.
[9 "Ma Thèse en 180 secondes" version EJCP. EJCP, Toulouse, France, June 2017.
[10 Preuve formelle du théorème de Lax-Milgram. AFADL, Montpellier, France, June 2017.
[11 Erreurs d‘arrondi de méthodes numériques explicites. Journées FASTRELAX, Paris, France, May 2017.
[12 Topologie synthétique en HoTT et programmes probabilistes. Séminaire LRI-VALS, Orsay, France, Feb 2017.
[13 Preuve formelle du théorème de Lax-Milgram. EJCIM, Lyon, France, Jan 2017.
[14 A Coq formal proof of the Lax-Milgram theorem. CPP, Paris, France, Jan 2017.
[15 Synthetic topology in HoTT. Logic and Semantics group seminar, Aarhus, Denmark, August 2017.