I am a JSPS Postdoctoral Research Fellow at RIMS, Kyoto University.
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.
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.