Elies Harington

I am a PhD student working with Samuel Mimram in the Cosynus Team at the LIX laboratory and co-advised by Thomas Seiller in the LoVe team at LIPN. The topic of my PhD is the study of higher categorical polynomial models of linear logic.

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.

I’m reachable via email : harington@lix.polytechnique.fr