pp

Welcome

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

Here's a short CV .

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.

Published Papers



Preprints



Thesis



Teaching - Enseignements



Talks



Internships



Education



Contact

kerjean[at]irif.fr
Bureau 119
LS2N, premier étage Batiment 11 ,
UFR Sciences et Techniques
2, rue de la Houssinière,
44000 Nantes
France