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.
2021-04-01. An extended abstract of The smash product of monoidal theories has been accepted for LICS 2021.
2021-02-23. I gave a talk at the seminar on Higher Homotopical Structures, part of an intensive research programme at CRM in Barcelona.
2021-01-27. My latest preprint, The smash product of monoidal theories, is now on the arXiv.
2020-10-01. I have moved to Tallinn University of Technology.
2020-07-30. I have a new preprint on the arXiv, Diagrammatic sets and rewriting in weak higher categories, superseding last year's draft.
2020-07-05. I am giving a talk at the Geometric and Categorical Structures in Computation and Deduction (GeoCat) workshop.
2020-06-11. I gave a talk on Diagrammatic sets: weak higher categories for rewriting at the online seminar of the TallCat group at TalTech.
2020-02-21.Talk on Diagrammatic sets between rewriting and topology at the OASIS seminar in Oxford.
2019-12-17. I gave a talk on Representable diagrammatic sets as a model of weak higher categories at SYCO 6, in Leicester.
2019-11-29. I have moved to IRIF, Université de Paris.
2019-11-08. My article A combinatorial-topological shape category for polygraphs has been accepted for publication in Applied Categorical Structures.
2019-10-31.Talk, Diagrammatic sets between rewriting and topology, at the RIMS Computer Science seminar in Kyoto.