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.
2023-11-17. I gave a talk in the (i)Po(m)set Project Online Seminar.
2023-07-28. My paper Obstructions to compositionality, joint work with Caterina Puca, Fabrizio Genovese, and Bob Coecke, has been accepted for ACT 2023.
2023-07-06. I am giving an invited talk at the special GETCO session of the 29th Nordic Congress of Mathematicians.
2023-06-08. I am giving an invited talk at an event in honour of François Métayer's retirement, in Paris.