Home
(Quick links: my publications, my blog posts)
I am an independent researcher and entrepeneur working mainly on applications of category theory to economics, machine learning and software engineering.
My preferred pronouns are they/them.
I am affiliated with:
- Glasgow Lab for AI Verification
- Institute for Categorical Cybernetics
- Mathematically Structured Programming Group
News
- December 2025: New preprint: Canonical bidirectional typechecking, with Zanzi Mihejevs
- November 2025: I moved from Glasgow to London
- October 2025: I have (mostly) quit academia; I currently work full time for the Glasgow Lab for AI Verification
- September 2025: Reinforcement learning for categorical cybernetics has been formally published in the proceedings of ACT 2024
- July 2025: My PhD student Riu RodrÃguez Sakamoto has passed his viva with minor corrections
- September 2024: I am currently working 90% for the CyberCat Institute and 10% for the University of Strathclyde
- May 2024: Reinforcement learning in categorical cybernetics has been accepted for publication in the proceedings of ACT 2024
- April 2024: New preprint: Reinforcement learning in categorical cybernetics, with Riu RodrÃguez Sakamoto
- April 2024: New preprint: Rendering string diagrams recursively, with Celia Rubio-Madrigal
- January 2024: The Institute for Categorical Cybernetics has been formally incorporated
Recent blog posts