Reasoning about Computational Economies

RACE is a five-year ERC Advanced Grant, aimed at developing the techniques required to understand, model, and analyse the equilibrium properties of game-like distributed systems. Building on two decades of highly successful research by the principal investigator, RACE will carry out research at the intersection of game theory, logic, complexity, and verification.