His research focuses on diagrammatic language, rewrite theory, category theory, and applications to quantum computation and the foundations of physics.