Ohjelmistotiede

Ohjelmistotiede käyttää matemaattisia menetelmiä tietokoneohjelmien
suorituskyvyn ja luotettavuuden parantamiseksi. Alan tutkimus sivuaa
teoreettista tietojenkäsittelytiedettä.

TTY:n Matematiikan laitoksella alan keskeisimmät tutkimusaiheet ovat

tehokkaat algoritmit ja tietorakenteet
algoritminen koneoppiminen ja tiedon louhinta
rinnakkaisten järjestelmien verifiointialgoritmit
rinnakkaisuuden teoria