Álgebra abstracta, en mi humilde opinión-por un amplio margen.
Hay una gran cantidad de aplicaciones de álgebra teóricos e incluso práctico de ciencias de la computación. También está empezando a ir de otra manera -- la informática teórica que influyen en la investigación en álgebra abstracta.
Algunos ejemplo de la antigua (aplicaciones de álgebra para CS) incluyen la teoría de grupos, semigroups y monoids de autómatas y lenguajes formales, particularmente de estado finito de autómatas y lenguajes. De hecho, semigroup/monoid la teoría proporciona una muy potente y elegante manera de mirar autómatas finitos, por ejemplo un "reconocible" (de estado finito) conjunto es $h^{-1}(P)$ donde $P \subseteq M, M$ de un número finito de monoid, $h:\Sigma^* \rightarrow M$ un monoid de morfismos, y una grande, rica teoría de la saca de allí.
En la otra dirección, un grupo que se dice ser "automático" si es finitely generado (es que todos los productos de un conjunto finito de generador de elementos), la multiplicación del grupo puede ser representado por un autómata de estado finito, como la propiedad de que un producto en particular de los generadores multiplica a los grupos de la unidad. Que conduce a una interesante aplicación para los grupos en el espacio Euclidiano y en 3-variedades y otros.
La teoría de números es una maravillosa rama de las matemáticas, quizás, la "más pura" de la rama. Encuentra aplicación ocasional dentro de los teóricos de CS, pero no en la misma medida en que el álgebra.
Ojalá hubiera tenido más cursos de álgebra como un CS estudiante de posgrado-tenía mucho menos para ponerse al día en el ahora. De manera más general, el tipo de pensamiento en álgebra abstracta -- axiomatization, de morfismos, composición, descomposición, cociente, etc, etc, pondrá en una buena posición a lo largo de CS.