Anexo:Informáticos teóricos

Esta es una lista de informáticos teóricos, también llamados científicos de la computación o computólogos, es decir, investigadores que trabajan en ciencias de la computación.

Se incluye también en la lista a algunos programadores notables, cuyo trabajo también involucra a la investigación; a algunos científicos previos a la creación del computador digital, cuyo trabajo ha sido inspirador para los informáticos póstumos; y a matemáticos cuyo trabajo cae dentro de las sub-áreas más teóricas de las ciencias de la computación, como por ejemplo, la complejidad computacional.