I am a PhD student in computer science. I am very interested in the connections between category theory and type theory. I work with categorical framework to express type theory, and type-theoretical frameworks to do higher category theory. I am also interested in the connections with homotopy theory and generalisation to other kinds of higher structures