In this paper we characterize quantitatively the optimal mix of progressive income taxes and education subsidies in a model with endogenous human capital formation, borrowing constraints, income risk and incomplete financial markets. Progressive labor income taxes provide social insurance...