(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.
- 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
- January 2020: Announcement: In the summer I will be moving to Glasgow to take up a permanent post as a lecturer at the University of Strathclyde, department of computer and information sciences
- December 2019: I’m at the workshop Logic and Structure in Computer Science and Beyond at the Lorentz Centre in Leiden, where I gave an invited talk titled “The game semantics of game theory” (slides here)