We develop models of optimal linear and non-linear income taxation with endogenous human capital formation to explore optimal education subsidies. Optimal subsidies on education ensure efficiency in human capital accumulation and thus play an important role in alleviating the tax distortions on...