My interests mostly fall within the area of categorical logic. More specifically, I am interested in using (2-)categorical tools to understand semantics of formal systems (currently dependent type theory and deep inference).