![[minua Lapissa esittävä valokuva]](pikku_lasku.jpg)
Olen professori Tampereen teknillisen yliopiston Tieto- ja sähkötekniikan tiedekunnan Ohjelmistotekniikan laitoksella.
Vastaan Ohjelmistotieteen syventävästä opintokokonaisuudesta. Pidän sen opintojaksoja lukuvuonna 2010–2011 todennäköisesti seuraavasti:
Olen läheisesti tekemisissä myös seuraavien opintojaksojen kanssa:
Olen taustavastuullisena kaikissa OHJ-2-alkuisissa opintojaksoissa.
Olen Tietotekniikan koulutusohjelman johtaja 2008–2013. Ratkaisen mm. henkilökohtaisia opintokokonaisuuksia ja muualla suoritettuja opintoja koskevia asioita. Asiat saa parhaiten liikkeelle ottamalla ensin yhteyttä koulutusohjelman suunnittelija Kaisa Keskitaloon. Olen TTY:n opetusneuvoston jäsen 2011–2013.
Minua on kiinnostanut hajautettujen, sulautettujen yms. reaktiivisten ja rinnakkaisten ohjelmien käyttäytyminen. Olen yrittänyt kehittää keinoja analysoida järjestelmien suunnitelmia tietokoneella erilaisten käyttäytymisvirheiden löytämiseksi. Aihe on vienyt minut myös toisaalta rinnakkaisuuden prosessialgebrallisten semanttisten teorioiden ja toisaalta algoritmitutkimuksen suuntaan.
Aikaisemmasta tutkimuksestani löytyy paljon tietoa muinoin vetämäni Verifiointialgoritmien tutkimusryhmän kotisivulta http://www.cs.tut.fi/ohj/VARG/, jota ei ole aikoihin päivitetty. Pikkuisen lisätietoa ja linkkejä löytyy myös tämän sivun englanninkielisestä versiosta.
Olen Tietojenkäsittelytieteen Seura ry:n lehden Tietojenkäsittelytiede toimittaja 2009–. Olin päätoimittaja 2002–2008. Olin seuran johtokunnan jäsen vuosina 1998–1999, varapuheenjohtaja vuonna 2000 ja puheenjohtaja vuosina 2001–2003, eli niin pitkään kuin seuran säännöt sallivat. Kansainvälisessä tiedeyhteisössä olen vuosien varrella tehnyt monenlaista. Olen esimerkiksi Petriverkkotutkijoiden yhteisön johtokunnassa, samoin ”Application of Concurrency to System Design” johtokunnassa.
Näitäkään en ole aikoihin päivittänyt, mutta en henno heittää poiskaan, koska osa näitten takaa löytyvästä aineistosta on yhä pätevää.
Olen Hervannan seurakunnan seurakuntaneuvoston jäsen 1999–2014. Olin Tampereen seurakuntien yhteisen kirkkovaltuuston varajäsen 1999–2000 ja jäsen 2000–2010. Jos sinulla on seurakuntatoimintaan liittyen ideoita tai toivomuksia, niin ota yhteyttä!
Sivu päivitetty 7.2.2011