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