Olen professori Tampereen teknillisen yliopiston Tietotekniikan osaston Ohjelmistotekniikan laitoksella.
Vastaan Ohjelmistotiteteen syventävästä opintokokonaisuudesta sekä opintojaksoista
Olen taustavastuullisena kaikissa OHJ-2-alkuisissa opintojaksoissa.
Olen Ohjelmistotekniikan laitoksen yhdyshenkilö ulkomaisten suoritusten korvaavuuksia koskevissa asioissa sekä suomenkielisten että muiden opiskelijoiden osalta.
Minua kiinnostaa hajautettujen, sulautettujen yms. reaktiivisten ja rinnakkaisten ohjelmien käyttäytyminen. Yritän kehittää keinoja analysoida järjestelmien suunnitelmia tietokoneella erilaisten käyttäytymisvirheiden löytämiseksi.
Tutkimuksestani löytyy paljon tietoa vetämäni Verifiointialgoritmien tutkimusryhmän kotisivulta http://www.cs.tut.fi/ohj/VARG/. Pikkuisen lisätietoa ja linkkejä löytyy myös tämän sivun englanninkielisestä versiosta.
Olin Tietojenkäsittelytieteen Seura ry:n johtokunnan jäsen vuosina 1998-1999, varapuheenjohtaja vuonna 2000 ja puheenjohtaja vuosina 2001-2003, eli niin pitkään kuin seuran säännöt sallivat. Olen seuran lehden Tietojenkäsittelytiede päätoimittaja 2002--.
Olen Hervannan seurakunnan seurakuntaneuvoston jäsen 1999-2006. Olin Tampereen seurakuntien yhteisen kirkkovaltuuston varajäsen 1999-2000 ja nyt olen jäsen 2000-2006. Jos sinulla on ideoita tai toivomuksia, niin ota yhteyttä!
Sivua päivitetty 2.6.2005