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