Welcome

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

Here's a short CV . pp

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.

News



Published Papers



Submitted Preprints



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