This course provides an overview of formal models of domestic politics—that is, the theory of domestic politics as formalized using the language of game theory. Building on Professor Gehlbach's textbook of the same name, the course covers nine classes of models: electoral competition under certainty and uncertainty, special interest politics, veto players, delegation, coalitions, political agency, nondemocracy, and regime change. The material assumes prior coursework in game theory and proficiency in differential and integral calculus.