(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.
- 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 monoidal 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
- August 2020: I have moved from Leipzig to Glasgow and started my new post as a lecturer and Chancellor’s Fellow in the computer & information sciences department at the University of Strathclyde
- July 2020: I gave 2 talks at Applied Category Theory 2020: “Non-compositionality in categorical systems theory” (slides, video) and “Open games in practice”, joint work with Philipp Zahn (slides, video)
- June 2020: New preprint: Games on graphs: A compositional approach, with Elena Di Lavore and Paweł Sobociński