I am an Assistant Professor at Tallinn University of Technology in the Compositional Systems and Methods group, and a Scientific Advisor at Quantinuum.
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.