I study the optimal taxation of robots and labor income. In the model, robots substitute for routine labor and complement non-routine labor. I show that while it is optimal to distort robot adoption, robots may be either taxed or subsidized. The robot tax exploits general-equilibrium effects to...