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 & recent posts
- February 2026: New blog post: Autodiff through function types: Categorical semantics the ultimate backpropagator
- December 2025: New preprint: Canonical bidirectional typechecking, with Zanzi Mihejevs
- November 2025: I moved from Glasgow to London
- October 2026: New blog post: Dependent optics II: Optics via forcing costates
- 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
- June 2025: New blog post: From equilibrium checking to learning with the Open Game Engine
- January 2025: New blog post: Bidirectional typechecking is bidirectional
- January 2025: New blog post: Foundations of bidirectional programming IV: Running forwards and running backwards