pp

Welcome

I'm a Post-Doc with Assia Mahboubi, at Inria Gallinette.

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.



Contact

marie.kerjean[at]inria.fr
kerjean[at]irif.fr



News:



Papers



Thesis



Formal Proofs



Teaching - Enseignements



Talks



Internships



Education