Papers

Preprints

• Layered Monoidal Theories II: Fibrational Semantics, with Fabio Zanasi. Under review.

Journal articles

• Layered Monoidal Theories I: Diagrammatic Algebra and Applications, with Fabio Zanasi. ACM Transactions on Computational Logic (2026). Plain language summary
• A Categorical model for organic chemistry, with Ella Gale and Fabio Zanasi. Theoretical Computer Science (2025).
• There and back again: A circuit extraction tale, with Miriam Backens, Hector Miller-Bakewell, Giovanni de Felice and John van de Wetering. Quantum 5, 421 (2021).

Refereed conference publications

• Modulation-reaction networks, with Yoàv Montacute. Computational Methods in Systems Biology (2026). Preprint
• Learning closed signal flow graphs, with Ekaterina Piotrovskaya and Fabio Zanasi. Theoretical Aspects of Computing — ICTAC (2024). Preprint
• Disconnection rules are complete for chemical reactions, with Ella Gale and Fabio Zanasi. Theoretical Aspects of Computing — ICTAC (2024). Preprint
• A categorical approach to synthetic chemistry, with Ella Gale and Fabio Zanasi. Theoretical Aspects of Computing — ICTAC (2023). Preprint
• String diagrams for layered explanations, with Fabio Zanasi. Proceedings of Applied Category Theory (2022).

Theses

• Layered Monoidal Theories, PhD thesis, supervised by Fabio Zanasi.
• Quantum quirks, classical contexts: Towards a Bohrification of effect algebras, MSc thesis, co-supervised by Chris Heunen and Nick Bezhanishvili.
• Sheaves on Topological Spaces and their Logic BSc project, supervised by Tom Leinster.

Notes and miscellaneous writings

• Reading project in point-free topology, 2019-20.
• Project on path categories and weak ω-groupoids, 2019-20.
• The Category of Hilbert Spaces as an Orthogonal Category, together with a series of blog posts on quantum logic: andinparticularexists.wordpress.com, 2017.
• Statistical Hypothesis Testing in the Context of Hume’s Critique of Induction, Second issue of the University of Edinburgh Philosophy Society Journal.