Presentation

Welcome to my website, I’m a PhD student, working on Homotopy Type Theory. This is a wonderful subject located at the crossroad of homotopy theory, logic and computer science. Beside sciences, I’m also fond of music

My work focuses on designing a directed homotopy type theory, that is a kind of synthetic language to speak about the homotopy type of directed spaces. In a similar fashion than set theory is a language designed to speak about sets. You can explore more concretely this language on this webpage