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.



Papers



Talks



Internships



Teaching - Enseignements



Education



Contact

kerjean[at]irif.fr