Teoría de números y álgebra(criptografía), teoría de lenguajes formales(toda la informática sale de aquí), matemáticas discretas, cálculo numérico. Casi toda la matemática vale, a mi de hecho la informática me parece un derivado matemático, es como la astronomía de la física. Luego muchas cosas se basan en teorías menos conocidas de la matemática, tenemos las máquinas turing que es lo popular pero también tienes la lógica de predicados y el cálculo lambda.

Si te gusta la informática yo te diría que estudiases lenguajes y programaras con ellos, las dudas y los problemas surgen y tienes que resolverlos, tira entonces de la matemática, porque toda la buena informática sale de ahí.
Como dijo uno: La informática tiene que ver con los ordenadores tanto como la astronomía con los telescopios.