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
[an error occurred while processing this directive]