Welcome

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

My research interests are topics at the interface of Logic, Programming Language Theory and Functional Analysis. I will be finishing my PhD this summer. Here's a short CV .

Papers



Preprints



Teaching - Enseignements



Talks



Internships



Education



Contact

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