La théorie informatique est l'étude du calcul efficace, des modèles de processus informatiques et de leurs limites. La théorie de l'informatique consiste à développer la théorie moderne de la complexité informatique, les fondements d'algorithmes graphiques efficaces et l'utilisation de la logique appliquée et de la vérification formelle pour construire des systèmes fiables.
Revues connexes sur la théorie de l'informatique
Théorie des systèmes informatiques, informatique d'image et de vision, transactions IEEE sur l'informatique mobile, SIAM Journal of Scientific Computing, ACM Computing Surveys.