pp

Welcome

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.






News:



Preprints



Published Papers



In preparation



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