Functional analysis
Operator theory
Representation theory of Lie groups
Spectral theory
Logic programming
Substitution
Orbifold