Algoritmit

Pyrimme tutkimuksellamme luomaan uusia matemaattisia ja algoritmisia periaatteita, joiden perusteella laskentaa voidaan hyödyntää ja ymmärtää tehokkaasti, esimerkiksi ottamalla käyttöön erilaisia tekniikoita korkean tason algebrasta algoritmisuunnitteluun sekä keskitetyissä että hajautetuissa ympäristöissä. Tutkimuksen keskeisiä tavoitteita ovat tiedon esittäminen ja automaattinen päättely, joilla pyritään automatisoimaan alemman tason algoritmisten perusyksikköjen suunnittelu ja analysointi. Tutkimuksessa hahmotellaan tehokkaan laskennan tehoa ja rajoja sekä nykyisissä että uusissa laskentaparadigmoissa aina vikasietoisesta hajautetusta laskennasta algoritmiseen biokemiaan.

Tutkimusalueet

Algoritmit

Datatiede

Koneoppiminen ja tekoäly

Mobiilijärjestelmät ja hajautetut järjestelmät

Turvallisuus ja yksityisyys

Ohjelmistotekniikka

Visuaalinen tietojenkäsittely ja ihmisen ja tietokoneen välinen vuorovaikutus