Projects

The open game engine

We develop and maintain the Open Game Engine, a prototype implementation in Haskell of the theoretical framework of open games, including an embedded domain specific languages for specifying the structure of games. This serves as a convenient place for experimentation, and a middle ground between the theory and more specialised implementations.

Smart contract incentives analysis

Supported by a grant from the Ethereum Foundation, we are developing applications of the Open Game Engine to game-theoretic analysis of smart contracts, for example for token auctions and DeFi contracts. You can read about this project here. We are also working on integration with the dapptools project to partially automate this process.

Algorithmic pricing and collusion

We are investigating the possible collusive behaviour of pricing algorithms in realistic training environments, using a reinforcement learning framework built on top of the Open Game Engine. You can read more about this project in this paper.

Foundations of categorical cybernetics

A team of academic collaborators based mainly at the MSP Group in Glasgow are studying the category-theoretic structure of general cybernetic systems, and the ways in which different real-world methods and problems map onto these structures. This includes deep learning, dynamic programming and reinforcement learning, Bayesian and variational learning, and economic game theory. You can read more in this paper.