Even if you're in the mindset that everyone should study a "real" (pure and academic) subject, I'd say CS fits that description fine. It varies by university (probably unlike maths), but there are still plenty of highly theoretical, mathematical, and academic CS courses