I'm a Post-Doc Post-Doc with Assia Mahboubi, at Inria Nantes.

Here's a short CV (Jan. 18).

My research interests lie at the interface of Logic, Type Theory and Functional Analysis. I am interested in continuous models of computations, and their applications to differential equations.

- With Guilhem Jaber, we're organizing a reading group on differentiable programming.
- I will participate to Bellair's workshop on higher-order probabilistic computation in March 2019.
- I will speak at SYCO in Oxford, also in March 2019. This is a friendly and non-competitive meeting, consider submitting !
- I will participate to ETAPS 2019 , in Prague, 6-11th April.
- I will speak at the Big Proof workshop 2019 , in Edinburgh, May 27th-31st.

- Models of Linear Logic based on the Schwartz ε-product , with Y. Dabrowski, 82 pages, submitted in april 2018.
- A formalisation of Hahn-Banach theorem in Coq , with Assia Mahboubi. Submitted short abstract corresponding to a formalization of Hahn-Banach theorem in Mathcomp + axioms.

- Higher-order distributions for Differential Linear Logic , with J.-S. Lemay, accepted for publication at Fossacs 2019 (conference).
- A Logical Account for Linear Partial Differential Equations , 2018, accepted for publication at LICS 2018 (conference).
- Mackey-complete spaces and power series - A topological model of Differential Linear Logic , with C. Tasson, 2018, Mathematical Structures in Computer Science (journal).
- Weak topologies for Linear Logic, 2016, in Logical Methods for Computer Science (journal).

- Polarization in topological vector spaces, based on Chapter 6 and Chapter 2.5 of my thesis

- I defended my PhD thesis on October 19th 2018. You will find here the manuscript and the slides .

- Differentiating proofs and programs , Invited talk at SYCO3, March 2019.
- A logical account for LPDEs , Higher Order Models of Differential Linear Logic , given at Bellairs Workshop in March 2019.
- A logical account for LPDEs , Seminar given at the LIX, Polytechnique, November 2018.
- A logical account for LPDEs , Contributed talk to LICS 2018, Oxford, JuLy 2018.
- Models of LL based on the Schwartz epsilon product , Contributed talk to TLLA 2018, Oxford, JuLy 2018.
- A logic for LPDEs , Invited talk to a special session, Conference MFPS 2018, Halifax, Canada, June 2018.
- Models of LL based on the epsilon product, an introduction to LL , joint work with Y. Dabrowski, séminaire de géométrie et physique mathématique, Paris Diderot, May 2018.
- A Type Theory for Linear Partial Differential Equations , Poster for the Annual days of the GDR-IM, Ecole Polytechnique, Palaiseau, April 2018.
- A Type Theory for Linear Partial Differential Equations, Antique team, ENS Ulm, Paris, March 2018.
- Smooth models of linear logic , Seminar of the LIMD team, LAMA, Université Savoie Mont Blanc, Chambéry, December 2017.
- Smooth models of linear logic , Forum des jeunes mathématicien.ne.s, Nancy, 2017.
- Smooth models of linear logic and Partial Differential Equations , Journées GEOCAL-LAC, Nantes, November 2017.
- Smooth models of linear logic and Partial Differential Equations , Seminar of the team LCR, LIPN Université Paris 13, November 2017.
- Smooth models of Linear Logic based on the Schwartz' epsilon product , Second General Meeting of the GDRI-LL , Roma, October 2017.
- Smooth differential linear logic and Partial differentials equations , Trends in Linear Logic and Applications, Oxford, September 2017.
- Smooth models of Linear Logic : Towards a Type Theory for Linear Partial Differential Equations , Seminar Chocola, Lyon 2017, June.
- Towards a Type Theory for Linear Partial Differential Equations , PLS group, ITU Copenhagen, June 2017.
- Smooth models of Differential Linear Logic , DIKU, Copenhagen, June 2017.
- Mackey-complete spaces and power series : a topological model of Differential Linear Logic , Workshop QSLC, Marseille, September 2016.
- Differential Linear Logic , Seminar on the semantics of linear logic, Copenhagen, February 2016.
- A poster , prepared for the Journées nationales 2016 du GdR IM , Januray 2016.
- The computational meaning of differentiation, PLS group Seminar, ITU Copenhagen, November 2015.
- Tensor Product and *-autonomous categories, TACL 2015 (peer reviewed conference), Ischia, June 2015. The abstract.
- Reduction strategies for the differential lambda-calculus, Géocalisation Summer school, Chambéry, June 2015.
- Weak topologies for Linear Logic , LDP séminar, Marseilles, January 2014.
- Weak topologies for Linear Logic Workshop SD14 (peer-reviewed workshop), Vienna, July 2014. The abstract.
- Linearity and Differentiation,PhD' Student' Semainar, LIAFA and PPS, Paris, November 2013
- Logique Linéaire et Analyse fonctionnelle, 13th forum for young mathematicians, Lyon, November 2013.
- Complete spaces and Differential Linear Logic, GDT sémantique, PPS, June 2013.

- Master's thesis, under the direction of C. Tasson et PPS. Here are the slides. Beware of an error in the adaptation of Hahn-Banach's theorem.
- Report on the M1 internship, supervised by R. Blute at Ottawa's University.
- Report on the L3 internship, supervised by F. Wagner at the University of Lyon.

- 2014- : PhD thesis under the direction of Thomas Ehrhard at IRIF, Université Paris Diderot.
- 2015- 2016 : Invited researcher in the PLS group at the IT University of Copenhagen
- 2013-2014 : Internship at PPS, under the direction of Christine Tasson.
- 2012-2013 : Master MPRI, Université Paris Diderot. Rank 6/41.
- June 2012 - July 2012 : Research Internship with R. Blute, University of Ottawa.
- 2011-2012 : First year of Master in advanced mathematics, ENS Lyon.
- June 2011 - July 2011 : Research Internship with F. Wagner, Université Lyon 1.
- 2010-2012 : B.Sc in advanced mathematics, ENS Lyon.
- 2007-2010 : Preparatory classes to Grandes Ecoles, Lycée Louis Le Grand, Paris.

kerjean[at]irif.fr

Bureau 119

LS2N, premier étage Batiment 11 ,

UFR Sciences et Techniques

2, rue de la Houssinière,

44000 Nantes

France