Algorithmic game theory is the fertile marriage between the theory of algorithms and the theory of games, exploiting a powerful synergy between these two classical theories. On the one hand, game theory and solution concepts such as equilibrium and rationalizability give us the appropriate framework in which to understand, design, and analyze multi-agent protocols. On the other hand, the classical theory of algorithms provides the necessary tools for efficiently analyzing models of economics, such as games and markets. Deployed applications of this range from formal verification to designing airport security systems.
The research within CTIC on algorithmic game theory is closely connected to research within the collocated Center for Research in the Foundations of Electronic Markets (CFEM).
Work Package Leaders: Peter Bro Miltersen, Professor from Aarhus University, Denmark, and Pinzhong Tang, Assistant Professor from Tsinghua University, China.