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 category theory as an interface between topology on one side, and logic and computation on the other.
More specifically, I am interested in studying algebraic theories, proof systems, and rewrite systems in their categorical embodiments (in particular, polygraphs), with an emphasis on compositionality, and from the perspective that a higher category is a combinatorial description of a directed space. String diagrams are both an influence, and a major component of this approach.
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.
2019-03-20. I have been teaching a short course on Category theory and diagrammatic reasoning; lecture notes are available.
2019-01-16. I am visiting IRIF again and will give a talk on Charted ω-categories. Later I will participate in the conference on Higher Structures at CIRM, Luminy.
2018-09-24. I gave a talk on ZW calculi at the 7th Conference on Logic and Applications in Dubrovnik.
2018-07-07.Talk, Merge-bicategories: towards semi-strictification of higher categories, at the 4th HDRA workshop in Oxford.
2018-07-05.Invited talk, Regular polygraphs and semi-strictification of higher categories, at the seminar on Catégories supérieures, polygraphes et homotopie at IRIF, Paris.
2018-06-28. New preprint on the arXiv: A combinatorial-topological shape category for polygraphs.
2018-03-31. Two papers accepted for conferences: A diagrammatic axiomatisation of fermionic quantum circuits (with de Felice and Ng) at FSCD, and Two complete axiomatisations of pure-state qubit quantum computing (with Ng and Wang) at LICS.
2018-03-19. New preprint on the arXiv: Weak units, divisible cells, and coherence via universality for bicategories, currently under review at TAC.
2018-03-06.Talk, Units without degeneracy, from polycategories to sequent calculi, at the Second Workshop on Mathematical Logic and its Applications, in Kanazawa.
2018-01-23.Talk, Bringing compositionality to rewriting theory via polygraphs, at the invited NII Shonan Meeting on Intensional and extensional aspects of computation.
2018-01-08. I have a new paper together with Giovanni de Felice and Kang Feng Ng, A diagrammatic axiomatisation of fermionic quantum circuits, out on the arXiv.
2017-12-07.Talk, Units without degeneracies, from higher categories to sequent calculi, at the RIMS Computer Science seminar in Kyoto.
2017-11-23. Started my postdoc at Kyoto University.