Un informático teórico o científico de la computación es una persona con conocimientos adquiridos en ciencias de la computación, y que se especializa en el estudio de los fundamentos teóricos de la información y la computación, para que finalmente alguien aplique los resultados encontrados en sistemas de información.