Pierre Cagne
Institut de Recherche en Informatique Fondamentale (Team PPS),
Université Paris Diderot

name.surname@normalesup.org
Bureau 3026, Bâtiment Sophie Germain

Home

Who am I?

I currently am a PhD student at Université Paris Diderot. My work focuses on categorical and homotopical algebra and its eventual application to the semantic of linear logic.

My thesis is co-supervised by Paul-André Melliès (IRIF, Université Paris Diderot) and Clemens Berger (Laboratoire J.A. Dieudonné, Univeristé de Nice). Its projected title is: Generalized species, linear logic and enriched homotopy theory You can find more details on my research page.

I have a master in fundamental mathematics (Université Pierre et Marie Curie) and a master in theoretical computer science (École Normale Supérieure).

Beside my work, my scientific interest are primarily algebraic: categorical logic, algebraic topology, topos theory, algebraic geometry, model theory, etc.


More information on my CV.