Antti Valmari, professori

English version of this page behind this link

Olen professori Tampereen teknillisen yliopiston Luonnontieteiden tiedekunnassa Matematiikan laitoksella. En kuitenkaan ole matemaatikko, vaan liikun käytännöllisen ohjelmoinnin ja teoreettisen tietojenkäsittelytieteen välimaastossa.

Ajankohtaista

  1. MAT-74506 Model Checking and Petri Nets syksy 2014
  2. Myös ohjelmistotiede muuttui kesän 2013 tutkinnonuudistuksessa. Ohjelmistotiede on tarjolla sekä teknis-luonnontieteellisen että tietotekniikan opiskelijoille. Katso lisätietoja täältä.
  3. Ohjelmatoimikuntatehtäviä: PETRI NETS 2014 ja ACSD 2013
  4. Viimeaikaisia esitelmiä: A State Space Tool for Concurrent System Models Expressed In C++ (SPLST 2015), Stop it, and Be Stubborn! (ACSD 2015), A Simple Character String Proof of the “True but Unprovable” Version of Gödel's First Incompleteness Theorem (AFL 2014), The Asymptotic Behaviour of the Proportion of Hard Instances of the Halting Problem (SPLST 2013), Sizes of Up-to-n Halting Testers (RuFiDiM 2012), All Linear-Time Congruences for Familiar Operators (ACSD 2012 ja Concur 2012), Old And New Algorithms for Minimal Coverability Sets (Petri Nets 2012), Does the Shannon Bound Really Apply to Data Structures? (SPLST 2011)

[minua Lapissa esittävä valokuva]

Yhteystiedot

Opintojaksot

Vastaan Ohjelmistotieteen syventävästä opintokokonaisuudesta yhdessä professori Tapio Elomaan kanssa. Pidän sen opintojaksoja seuraavasti:

Olen taustavastuullisena kaikissa MAT-7-alkuisissa opintojaksoissa.

Pidin syksyllä 2013 yhden 45 min luennon opintojaksolla LTT-12200 Luonnontieteet, matematiikka ja teknologia. Luentoni aineisto on täällä.

Muuta opintoihin liittyvää

Olen Luonnontieteiden tiedekunnan perustutkinto-ohjelmien johtaja 2013–2016. Se tarkoittaa, että vastaan tiedekunnan kandidaatintutkinnon suunnittelusta ja sovitan yhteen DI-tutkintojen suunnittelua. Lisäksi teen henkilökohtaisia opintokokonaisuuksia yms. koskevat päätökset tiedekunnan kandidaatintutkintoa vuoden 2013 tutkintorakenteessa suorittavien opiskelijoiden osalta.

Tietotekniikan koulutusohjelma, jota johdin 2008–2012, lakkasi vuoden 2013 uudistuksessa. Siinä aloittaneiden opiskelijoiden henkilökohtaisia opintokokonaisuuksia yms. koskevat päätökset tekee siirtymäkauden ajan professori Jarmo Harju. Opiskelija voi myös siirtyä vuoden 2013 tutkintorakenteeseen. Tätä kirjoitettaessa tietotekniikkaa vastaavaa uutta ohjelmaa johtavat kanditasolla professori Jarmo Takala ja DI-tasolla professori Hannu-Matti Järvinen.

Olin TTY:n opetusneuvoston jäsen ja varapuheenjohtaja 2011–2013. Kauden 2014–2016 olen konsistorin jäsen, opetusneuvoston jäsen ja varadekaani.

Tutkimus

Viime aikoina olen tutkinut rinnakkaisjärjestelmien teoriaa, Petriverkkojen peittävyysjoukkojen muodostusalgoritmeja, klassisen pysähtymisongelman asymptoottisia ominaisuuksia sekä tietorakenteisiin soveltuvaa informaatioteorian muunnelmaa. Näistä kaksi ensin mainittua kuuluu pitkäaikaiseen tutkimusteemaani, joka on hajautettujen, sulautettujen yms. reaktiivisten ja rinnakkaisten ohjelmien käyttäytyminen ja virheiden etsiminen tai virheettömyyden osoittaminen.

Alun perin kehitin keinoja analysoida järjestelmien suunnitelmia tietokoneella erilaisten käyttäytymisvirheiden löytämiseksi. Aihe vei minut myös toisaalta rinnakkaisuuden prosessialgebrallisten semanttisten teorioiden ja toisaalta algoritmitutkimuksen suuntaan, ja muita teemoja olen avannut uteliaisuuttani.

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.

Vuodesta 2008 olen ollut Suomalaisen Tiedeakatemian jäsen.

Muita linkkejä

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ää.


Sivu päivitetty 13.6.2014