La informática teórica es un subconjunto de las matemáticas y la informática general que se ocupa de la informática de temas matemáticos que involucran las teorías de la computación. La informática teórica cubre una amplia gama de temas como complejidad computacional, algoritmos, cálculo probabilístico, teoría de autómatas, criptografía y teoría de números computacional.