Up until University where I am now I have never actually had to think hard about math problems I was presented with.

Last summer I had an epiphany in abstract algebra, and it has been hugely beneficial to see these structures everywhere in computer science. That is a lot of handy theorems you get for free.

I think that high-level pattern maching strategies are very valuable. Category theory, abstract algebra, etc.