Welcome

I'm a PhD student at the IRIF, in the PPS team since November 2014. My advisor is Thomas Ehrhard. Starting from November 2015, I will be working mainly in Copenhagen.

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



Papers



Talks



Internships



Teaching - Enseignements



Education



Contact

kerjean[at]irif.fr

Office 4C07, PLS group
IT University of Copenhagen
Rued Langgaards Vej 7
2300 Copenhagen S