I'm not even a great programmer, but I found learning formal logic, abstract algebra and category theory to be incredibly useful. That, algorithms and data structures. That's what I would study if I were in prison. Not, trying to learn Python or something, which could be a dead language by the time you get out.
