Kuulumiset

19.1. tktl:n laitoskollokvio käynnistyi

Laitoksen tutkimustoiminta on tunnetusti vilkasta, tuottoisaa ja korkealle arvostettua, joten siitä kannattaa olla perillä. Laitoskollokviossa esittäytyvät uusimmat tutkimusteemat luodattuna useamman tutkimusryhmän näkökulmasta.

Ensimmäisessä laitoskollokviossa pohdittiin mallien käyttämistä ohjemistotuotannon eri vaiheissa ja ohjelmistoelementtien hallinnassa suoritusaikana. Teemoja luodattiin hajautettujen järjestelmien ja ohjelmistotekniikan tutkimusryhmissä. Nousevia välineitä ovat palveluperustaiset ratkaisut ja mallien pohjalta tuotettavat ohjemistot, ja kiinnostavia haasteista löytyy vielä mm. oikeiden mallitettavien kohteiden valinnassa. Kollokviossa käydyssä keskustelussa nousi esiin teemoja, joita on tarkoitus jatkaa yhteisprojektin muodossa.

Kollokvion kotisivu

29.1. Marko Salmenkiven dosenttikoeluento

Marko Salmenkivi piti dosenttikoeluentonsa aiheesta Kattavien joukkojen löytäminen syvyyssuuntaisella haulla.

2.2. Henkilökunnan kuukausitapaaminen

Helmikuun tapaamisessa keskustelstiin laututyöstä yliopistossa - Korkeakoulujen arviointineuvostohan arvioi Helsingin yliopiston laadunvarmistusjärjestelmän jo syksyllä 2007. Aimo Virtanen ja Helena Immonen keskushallinnosta puhuivat aiheesta "Laatutyö yleensä ja yliopistotason laatutyö. Mitä yliopisto odottaa laitoksilta ja erillisyksiköiltä?" ja Nina Aremo matemaattis-luonnontieteellisestä tiedekunnasta aiheesta "Tiedekunnan laatutyö. Mitä tiedekunta odottaa laitoksilta?". Greger Lindén esitteli TKTL:n ja HIITin laatutyötä.

Lisätietoa yliopiston ja laitoksen laatuyöstä löytyy sivulta https://www.cs.helsinki.fi/i/linden/laatu/