Theoretische informatica

De theoretische informatica is een vorm van informatica die zich bezighoudt met formele talen (dat wil zeggen automaten-, berekenbaarheids- en complexiteitstheorie), logica (onder andere propositielogica en predicatenlogica) en formele semantiek en biedt hiermee een theoretische fundering voor het maken van compilers van programmeertalen en de wiskundige formalisering van probleemstellingen. Ze is daarmee het formele fundament onder de informatica.

Bekende theoretisch informatici zijn Alan Turing, Edsger Dijkstra en Donald Knuth.