معرفی
Marie Kerjean is a CNRS researcher affiliated with the Love team at LIPN (Laboratoire d'Informatique de Paris Nord) within University of Paris 13. Her research bridges the gap between programming language theory, formal proofs, and functional analysis, focusing on Math-Comp Analysis and ANR DiPLo projects.
- Key Research Areas:
- Mathematical Logic
- Functional Analysis
- Differential Linear Logic
- Type Theory
- Formal Proof Assistants
- Applications to Differentiable Programming
Recent Publications highlight interdisciplinary work in differential linear logic, dialectica categories, and formalization of mathematical structures. She chairs and organizes conferences like JFLA 2026 and LICS 2024, with a CPP 2026 program committee role.
- Scientific Recognition:
- Distinguished Paper at LICS 2024
- ANR DiPLo Grant (2024) for Logic and Differentiable Programming
Advisory Roles include co-supervising Jad Koleilat's PhD thesis. She is visiting JFLI in Tokyo (Feb-Jul 2026) and on maternity leave (Jun-Dec 2025). Contact: marie.kerjean@cnrs.fr or kerjean@lipn.univ-paris13.fr.
