Papers

Conference papers

• Learning closed signal flow graphs, with Ekaterina Piotrovskaya and Fabio Zanasi. Theoretical Aspects of Computing — ICTAC (2024).
• Disconnection rules are complete for chemical reactions, with Ella Gale and Fabio Zanasi. Theoretical Aspects of Computing — ICTAC (2024).
• A categorical approach to synthetic chemistry, with Ella Gale and Fabio Zanasi. Theoretical Aspects of Computing — ICTAC (2023).
• String diagrams for layered explanations, with Fabio Zanasi. Proceedings of Applied Category Theory (2022).

Journal papers

• A Categorical model for organic chemistry, with Ella Gale and Fabio Zanasi. Theoretical Computer Science, Elsevier. To appear (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).

Preprints

• Learning closed signal flow graphs, with Ekaterina Piotrovskaya and Fabio Zanasi.
• Disconnection rules are complete for chemical reactions, with Ella Gale and Fabio Zanasi.
• A Categorical Model for Retrosynthetic Reaction Analysis, with Ella Gale and Fabio Zanasi.

Theses

• 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.