(Quick link: publications)
I am a researcher and lecturer in the Mathematically Structured Programming group at the University of Strathclyde, Glasgow.
My research involves applying category theory in economics. Recently I am also interested in machine learning and control theory, with a view towards what was historically called cybernetics. Some other interests include graphical calculi, functional programming, proof theory, and the semantics of natural language.
You can find an updated bibliography of all things related to compositional game theory here. If you are coming to compositional game theory for the first time and want to know where to start, see my reading list or the 4 lectures under videos.
News
- June 2021: Towards foundations of categorical cybernetics has been accepted to the proceedings of Applied Category Theory 2021
- June 2021: This blog post marks the mid-point of our grant from the Ethereum Foundation
- May 2021: New preprint: Towards foundations of categorical cybernetics, with Matteo Capucci, Bruno Gavranović and Eigil Rischel
- February 2021: A group consisting of me, Philipp Zahn and Statebox have been awarded a small grant by the Ethereum Foundation Ecosystem Support Programme, for development of the open game engine – more information
- January 2021: Compositional modelling of network games (with Elena Di Lavore and Paweł Sobociński) has been published in LIPiCS
- December 2020: Sheet diagrams for bimonoidal categories has been updated to version 2
- November 2020: In secret I’ve been holding a “Seminar for categorical cybernetics”, with 2 videos now released: Lenses as a foundation of cybernetics by me, and Executing categories by Philip Zucker
- October 2020: New preprint: Sheet diagrams for bimonoidal categories, with Cole Comfort and Antonin Delpeuch
- September 2020: My paper Games on graphs: A compositional approach, with Elena Di Lavore and Paweł Sobociński, has been accepted to the proceedings of Computer Science Logic 2021
- September 2020: My paper The game semantics of game theory has been accepted for publication in Samson Abramsky’s issue of Springer’s Outstanding contributions to logic series
