However, being a computer scientist I think a different approach to mathematics can be more enjoyable and also much more useful for many theoretical and practical developments that are yet to come. The downside is that materials are a lot less cohesive (any other references appreciated!). I'm talking about an approach with a focus on the foundations of mathematics, emphasizing logic, category theory and type theory.
Some links:
http://www.paultaylor.eu/~pt/prafm/
https://ncatlab.org/nlab/show/computational+trinitarianism
https://softwarefoundations.cis.upenn.edu/
I moved to Copenhagen, but I guess that qualifies as the area :P