L'informatique théorique est la collection de sujets de l'informatique qui se concentre sur les aspects plus abstraits, logiques et mathématiques de l'informatique, comme la théorie du calcul, l'analyse des algorithmes et la sémantique des langages de programmation.
Les chercheurs qui y travaillent se concentrent sur les aspects plus abstraits, logiques et mathématiques de l'informatique, comme la théorie du calcul, l'analyse des algorithmes et la sémantique des langages de programmation.