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.

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

Lähteet

Aiheesta muualla
Antti Valmarin kotisivut
Antti Valmarin vanhat kotisivut 

Suomalaiset tietojenkäsittelytieteilijät
Tampereen teknillisen yliopiston professorit
Suomalaiset professorit
Jyväskylän yliopiston professorit
Vuonna 1961 syntyneet
Elävät henkilöt