Welcome

I'm a PhD student at the IRIF, in the PPS team since November 2014. My advisor is Thomas Ehrhard.

My research interests are topics at the interface of Logic, Programming Language Theory and Functional Analysis.



Teaching -



Papers



Talks



Internships



Education



Contact

kerjean[at]irif.fr
Bureau 3044
IRIF, Batiment sophie Germain 3rd floor ,
Université Paris Diderot
75013 Paris