Advanced Topics in Computer Science: Algorithmic Mechanism Design

This advanced seminar covers core topics in Algorithmic Mechanism Design. We certainly cover Combinatorial Auctions and Bayesian Mechanism Design, and may cover applications in Decentralized Protocol Design. The entire course is proof-based math. The topics are (perhaps much) more advanced than a course like 521, but the volume is lighter.