Linear algebra, higher algebra.
Analytical and differential geometry.
Analysis, functional analysis.
Recursive functions, computability theory and theoretical computer science.