CS 416 Knowledge and Strategy

This course is an introduction of interactive epistemology and game theory, a mathematical theory of conflict and cooperation between rational agents, with emphasis on knowledge and multi-agent systems. The course also provides an overview of other topics at the intersection of theoretical computer science and economics, such as agreement, common knowledge, mechanism design and auctions.