Algorithmic Game Theory and Computational Economics

Investigating problems such as finding Nash Equilibria and games with application to the Internet, the World Wide Web, and the economy, as well as to verification and logic.