Antti Valmari, professori

English version of this page behind this link

Olen professori Tampereen teknillisen yliopiston Tieto- ja sähkötekniikan tiedekunnan Ohjelmistotekniikan laitoksella.

Ajankohtaista

  1. Homepage of OHJ 2050 Ohjelmointikielten periaatteet | OHJ-2056 Principles of Programming Languages 2010
  2. Valmarin kapea-alaisuus on paljastunut
  3. Kiirettä pukkaa. Ennen syksyä 2005 aloittaneilla opiskelijoilla on vielä tämä talvi aikaa valmistua vanhan tutkintorakenteen mukaan. Siitä seuraa poikkeuksellisen paljon diplomitöiden ohjaamista ja hallinnollista työtä talveksi 2009–2010. Saman talven aikana joudun kääntämään yhden opintojaksoni englanniksi ja tekemään toiseen uuden aineiston sekä suomeksi että englanniksi.

[minua Lapissa esittävä valokuva]

Yhteystiedot

Opintojaksot

Vastaan Ohjelmistotieteen syventävästä opintokokonaisuudesta. Pidän sen opintojaksoja talvella 2009--2010 todennäköisesti seuraavasti:

Olen läheisesti tekemisissä myös seuraavien opintojaksojen kanssa:

Olen taustavastuullisena kaikissa OHJ-2-alkuisissa opintojaksoissa.

Muuta opintoihin liittyvää

Olen Ohjelmistotekniikan laitoksen yhdyshenkilö ulkomaisten suoritusten korvaavuuksia koskevissa asioissa sekä suomenkielisten että muiden opiskelijoiden osalta.

Olen vuodet 2008--2009 Tietotekniikan koulutusohjelman johtaja. Jos tietotekniikan opiskelija anoo henkilökohtaista perus- tai koulutusohjelmakohtaisten opintojen kokonaisuutta, anomukset kulkevat kauttani matkalle dekaanille lopullista asian ratkaisua varten. Vuoden 2010 alussa järjestelmä todennäköisesti muuttuu säätiöyliopistoon siirtymisen vuoksi, mutta tätä kirjoitettaessa (8.9.2009) ei ole varmuutta siitä, millaiseksi.

Tutkimus

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.

Tutkimuksestani löytyy paljon tietoa vetämäni Verifiointialgoritmien tutkimusryhmän kotisivulta http://www.cs.tut.fi/ohj/VARG/, jota tosin ei ole aikoihin päivitetty. Pikkuisen lisätietoa ja linkkejä löytyy myös tämän sivun englanninkielisestä versiosta.

Olin Tietojenkäsittelytieteen Seura ry:n lehden Tietojenkäsittelytiede päätoimittaja 2002--2008 ja toimittaja 2009--. 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äkin olen vuosien varrella tehnyt monenlaista. Olen esimerkiksi Petriverkkotutkijoiden yhteisön johtokunnassa.

Muita linkkejä

Näitäkään ei ole aikoihin päivitetty, mutta en henno heittää poiskaan, koska osa näitten takaa löytyvästä aineistosta on yhä pätevää.

Muu kiinnostus

Olen Hervannan seurakunnan seurakuntaneuvoston jäsen 1999-2010. Olin Tampereen seurakuntien yhteisen kirkkovaltuuston varajäsen 1999-2000 ja nyt olen jäsen 2000-2010. Jos sinulla on ideoita tai toivomuksia, niin ota yhteyttä!

Sivu päivitetty 8.9.2009