I am a posdtoc in the Functional Programming Lab at the University of Nottingham working on 2-level type theories under the supervision of Nicolai Kraus. I successfully defended my PhD thesis on higher categorical models of linear logic in 2026.
I’m interested in (higher) category theory, (homotopy) type theory, algebraic topology, algebraic geometry, and generally in how homotopy theory can shape new ways of thinking about mathematical concepts.
Here’s a link to my curriculum vitae. I’m reachable via email : mail@elies-harington.fr
∞-categorical models of linear logic. Elies Harington and Samuel Mimram. Accepted at FSCD 2025, Feb 2025 [ DOI | web | pdf ]
Polynomials in homotopy type theory as a Kleisli category. Elies Harington and Samuel Mimram. Electronic Notes in Theoretical Informatics and Computer Science, Volume 4 - Proceedings of MFPS XL, Dec 2024 [ DOI | arXiv | web | pdf ]
Higher categorical models of linear logic. Elies Harington. PhD thesis, 2026 [ pdf ]
Opetopic types and higher algebra in Homotopy Type Theory. Elies Harington. Internship report, 2022 [ pdf ]
A construction of Spectra in Algebraic Geometry. Elies Harington. Master’s thesis, 2021 [ pdf ]
Cohomology groups in univalent type theory. Elies Harington. Internship report (in french), 2020 [ pdf ]
Delaunay triangulations on the flat torus in dimensions 2 and 3. Elies Harington. Internship report (in french), 2019 [ pdf ]
Thesis defense. LIX, Palaiseau, January 26th, 2026 [ slides | video ]
An extensional perspective on higher categorical models of linear logic. TLLA workshop in Birmingham, July 19th, 2025 [ slides ]
∞-categorical models of linear logic. [ slides ]
Mini workshop on ∞-categories, IRIF, Paris, January 13th, 2026 [ url ]
I2M LDP team seminar, invited talk, Marseille, June 19th, 2025
IRIF semantics seminar, invited talk, Paris, June 17th, 2025
LHC days, Palaiseau, June 3rd, 2025 [ slides ]
CHoCoLa meeting invited talk, Lyon, May 15th, 2025
FSCD conference in Birmingham, July 18th, 2025
Cohomologie en HoTT : une traduction mot à mot du langage faisceautique en théorie des types. Catégories supérieures, polygraphes et homotopie Seminar at IRIF, Paris, November 29th, 2024
A model of linear logic using polynomials in Homotopy Type Theory. MFPS conference in Oxford, June 21st, 2024 [ slides | video ]
Polynomials in Homotopy Type Theory. LHC days in Nantes, June 4th, 2024 [ slides ]
Introduction to Category Theory. Grace team student seminar, LIX, Palaiseau, May 28th, 2024
Introduction to Homotopy Type Theory.
Category theory working group, LIPN, Villetaneuse, February 7th, 2024
Cosynus team seminar, LIX, Palaiseau,, November 23rd, 2023