I am an FSMP Postdoctoral Research Fellow at IRIF, Université de Paris, and a member of Inria joint research team πr².
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.
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é Paris Diderot.
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.
2019-09-26. My article Weak units, universal cells, and coherence via universality for bicategories has been published in Theory and Applications of Categories.
2019-09-18. I have a new preprint on the arXiv: Representable diagrammatic sets as a model of weak higher categories. Also, a major revision of A combinatorial-topological shape category for polygraphs.
2019-09-02. An extended version of my FSCD paper with de Felice and Ng was published in a special issue of Logical Methods in Computer Science.