Antti Valmari
Antti Arvi Valmari (s. 1961) on suomalainen tietojenkäsittelytieteen professori Tampereen teknillisen yliopiston matematiikan laitoksella vuodesta 1999 ja vuoden 2018 alusta Jyväskylän yliopistossa.[1]
Valmari väitteli tekniikan tohtoriksi Tampereen teknillisessä yliopistossa 1988. Hän on toiminut siellä tietojenkäsittelytekniikan vs. professorina 1992 ja apulaisprofessorina ja professorina vuodesta 1999. Suomen Akatemian varttunut tutkija Valmari oli 1998–1999.[2] Tietojenkäsittelytieteen seuran 1989 palkitseman väitöstutkimuksensa State Space Generation: Efficiency and Practicality aikana Valmari työskenteli VTT:n tietokonetekniikan laboratoriossa Oulussa.
Valmari opettaa pääasiassa teoreettisen tietojenkäsittelytieteen alan aineita. Hän on tehnyt merkittävää työtä ohjelmien oikeaksi todistamisen alueella. Valmari hyväksyttiin 2008 Suomalaisen tiedeakatemian jäseneksi. Hänet palkittiin CAV Award -tiedepalkinnolla 2014. Valmarin ja tutkijoiden Thomas Neele ja Tim A.C. Willemse kanssa julkaistu paperi "The inconsistent labelling problem of stutter-preserving partial-order reduction" sai parhaan EATCS - paperin palkinnon vuonna 2020.[3]
Lähteet muokkaa
- ↑ Antti Valmari tietojenkäsittelytieteen professoriksi JyU.fi. Arkistoitu 2.3.2022. Viitattu 29.10.2018.
- ↑ Veli-Matti Autio: Suomen professorit. Finlands professorer. Professoriliitto, 2000. ISBN 951-95189-6-7. s. 736
- ↑ https://eatcs.org/index.php/best-etaps-paper
Aiheesta muualla muokkaa
- Antti Valmarin kotisivut
- Antti Valmarin vanhat kotisivut (Arkistoitu – Internet Archive)