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

Recent blog posts

• Dependent optics II: Optics via forcing costates - October 16, 2025
• From equilibrium checking to learning with the Open Game Engine - June 26, 2025
• Bidirectional typechecking is bidirectional - January 28, 2025
• Foundations of bidirectional programming IV: Running forwards and running backwards - January 3, 2025
• Mathematics for governance design - October 28, 2024
• Foundations of bidirectional programming III: The logic of lenses - September 12, 2024
• Foundations of bidirectional programming II: Negative types - September 5, 2024
• Foundations of bidirectional programming I: Well typed substructural languages - August 26, 2024
• The yoga of contexts I - June 28, 2024
• Exploring best response dynamics - May 9, 2024