(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.
- 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
- May 2020: I released an extended abstract: Non-compositionality in categorical systems theory
- April 2020: I spoke virtually at the TallCats seminar at the Tallinn University of Technology and the ACT seminar at UC Riverside, with the title “Open games: The long road to practical applications” (video here)
- February 2020: I’m in Oxford visiting Toby Smithe and Guillaume Boisseau