Un científico de la computación, informático teórico o computólogo 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 su posterior aplicación en sistemas de información.