About me
I am a PhD student, since October 2024, at the LIPN laboratory in the LoCal team. I am supervised by Marie Kerjean and Stefano Guerrini.
I am interested in the links between logical and mathematical structures through the Curry-Howard-Lambek correspondance. My favorite subject is categorical semantics of logic. I find it very beautiful when logical systems are able to describe complex and non discrete mathematical object, the most famous example being Homotopy type theory and my favorite one being coherent spaces as models of DiLL. My research focuses on the links between categorical models of DiLL (Differential Linear Logic) and (dependent) type theory.
More broadly, I like (in no particular order): Type Theory, Categorical Logic, Differential Linear Logic, Topology, Proof Theory, Category Theory, Homotopy Theory, Choice axioms, Realizabilty, Functional Analysis and Differential Geometry.
Contact:
- Email : koleilat at lipn.univ-paris13.fr
- Office : B311 - LIPN, Institut Galilée - Université Sorbonne Paris Nord, 99 avenue Jean-Baptiste Clément, 93430 Villetaneuse
Research
Publications:
- "On the Logical Structure of Some Maximality and Well-Foundedness Principles Equivalent to Choice Principles" in colaboration with Hugo Herbelin, FSCD 2024. [paper | HAL version]
Research internships:
Before starting a PhD, I did a few research internships:
- "A monadic approach to differentiation" supervised by Marie Kerjean, 2024. [pdf]
- "Classical Realizability : Models of PAω + DC" supervised by Guillaume Geoffroy, 2023. [pdf English | pdf Français]
- "Théories des types et paradoxe de Girard" supervised by Christine Paulin-Mohring, 2022. [pdf Français]
Teaching
2024-2025:
- TD-TP Programmation Impérative 1 (en C) [L1 semestre 1]
- TD-TP Compilation [L3 semestre 2]
Miscellaneous
This website is inspired by this series of websites: motherfuckingwebsite, bettermotherfuckingwebsite, evenbettermotherfuckingwebsite, perfectmotherfuckingwebsite.
I liked this blog post and think it's worth sharing (it's in french).