Tietojenkäsittelyteoria

Tietojenkäsittelyteoria kehittää ja soveltaa matemaattisia menetelmiä tietojenkäsittelytehtävien systemaattiseen mallintamiseen, analysointiin ja ratkaisuun. Tietojenkäsittelyteoreettisilla menetelmillä on keskeinen asema esimerkiksi ohjelmointikielten ja niiden kääntäjien kehittämisessä, ohjelmistojärjestelmien suunnittelutekniikoissa, rinnakkaisten tietokonearkkitehtuurien suunnittelussa, kryptografiassa, tietoliikenneverkkojen reititysalgoritmeissa ja protokollissa sekä VLSI-suunnittelussa.

Klassisia tietojenkäsittelyteorian osa-alueita ovat mm. formaalit kielet ja kieliopit, algoritmiteoria ja laskettavuus, automaattiteoria, formaalit menetelmät, rinnakkaislaskennan mallittaminen ja verifiointi sekä laskennallinen logiikka.