The course will be devoted to the theory of mechanism design, broadly defined. Topics include social choice and in particular Arrow’s and Gibbard-Satterthwaite’s impossibility theorems, implementation, Vickrey-Clark-Groves mechanisms and their extensions, and auction theory. This course is parat of the field sequence in microeconomic theory.