Hajautetut järjestelmät ja tietoliikenne
Hajautettujen järjestelmien ja tietoliikenteen erikoistumislinjan opetuksessa ja tutkimuksessa tarkastellaan, miten tietojenkäsittelyjärjestelmiä rakennetaan autonomisista osista. Keskeisellä sijalla ovat näiden osien välinen kommunikointi ja vuorovaikutus. Linja opetus on kaksijakoista, kattaen alueen perusteet ja valikoidut huippuosaamisen alueet. Hajautettujen järjestelmien ja tietoliikenteen perusteet kattavat tietokoneen rakenteet, käyttöjärjestelmät, hajautetun tietojenkäsittelyn perusteet, Internet-protokollat, väliohjelmistot, tietoturvan sekä verifioinnin ja spesifioinnin formaalit menetelmät. Linjan valinnaiset kurssit perustuvat NODES-tutkimusryhmän painopistealueiden viimeisimpiin tutkimustuloksiin liikkuvasta tietojenkäsittelystä, autonomisten järjestelmien yhteistoiminnasta ja taskussa kulkevien laitteiden käyttöjärjestelmistä.
Erikoistumislinjalta valmistuvat opiskelijat tuntevat tietojenkäsittelylaitteistojen toimintaperiaatteet ja pystyvät näiden tietojen perusteella arvioimaan erilaisten järjestelmä- ja tietoliikenneratkaisujen soveltuvuutta eri tarkoituksiin. Lisäksi he tuntevat järjestelmien toiminnan oikeellisuuden varmistamiseen käytettäviä verifiointi- ja spesifiointimenetelmiä sekä osaavat arvioida järjestelmien suorituskykyä. Mikäli soveltuvaa järjestelmää ei ole saatavilla, he pystyvät omaksumansa tietämyksen varassa määrittelemään ja toteuttamaan tarvittavan toiminnallisuuden.
Linja tarjosi myös englanninkielistä Data Communications Software - maisteriohjelmaa liikkuvan tietojenkäsittelyn alalla.
Yhteyshenkilöt: professori Lea Kutvonen
Opetus: http://www.cs.helsinki.fi/hajautetut/
Tutkimus: http://www.cs.helsinki.fi/research/nodes/