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. s. 736  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.https://eatcs.org/index.php/best-etaps-paper

 Lähteet 

Aiheesta muualla
Antti Valmarin kotisivut
Antti Valmarin vanhat kotisivut 

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