I’m interested in Topological Field Theory and related higher algebraic and categorical structures. Recently, I have been using string diagrams to classify higher coherences for duals and adjoints in $n$-categories, which is related by the Cobordism Hypothesis to the question of finding finite presentations by generators and relations for fully extended bordism categories. I have also been working on a theory of semistrict $n$-categories based on $n$-dimensional string diagrams (also called manifold diagrams).