I am a Postdoctoral Researcher in the Laboratory for Compositional Systems and Methods at Tallinn University of Technology.
I am interested in higher-dimensional rewriting and diagrammatic methods as a way of importing combinatorial-topological ideas from pure mathematics into computer science.
In particular, I have worked on diagrammatic calculi of quantum circuits, and on models of higher categories suitable for the study of higher-dimensional rewrite systems. I am also interested in formal methods and connections to proof theory and programming language semantics.
Previously, I have been a postdoctoral research fellow in Paris at IRIF and in Kyoto at RIMS, a doctoral student in Oxford, and a student in Pavia at Ghislieri.