Skip to main content

Reasoning about Computational Economies

1st June 2012 to 31st May 2017

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.

Principal Investigator

People

Share this: