pp

Welcome

I am a CNRS researcher in the Love team at the LIPN.

Previously, I was post-doc with Assia Mahboubi, at Inria Gallinette. Before that, I did my PhD thesis at the IRIF, under the direction of Thomas Ehrhard.

Here's a short CV.

My research is motivated by the gap between the theory programming languages and the applications of programming languages to continuous mathematics. It lies at the interface of Logic, Formal Proofs and Functional Analysis. I am a happy participant to the Math-Comp Analysis project.



Contact

kerjean[at]lipn.fr


News:



Papers



Thesis



Formal Proofs



Talks



Internships



Education