L'informatique théorique est un sous-ensemble des mathématiques et de l'informatique générale qui traite du calcul de sujets mathématiques impliquant les théories du calcul. L'informatique théorique couvre un large éventail de sujets tels que la complexité informatique, les algorithmes, le calcul probabiliste, la théorie des automates, la cryptographie et la théorie informatique des nombres.