The course gives an overview on the basic models used to analyze the efficiency implications and optimal design of tax policy. The course puts emphasis on linking formal analysis to empirical analysis and to discuss implications of theoretical and empirical findings for real world tax policy.