![](https://pplstatic.nyc3.cdn.digitaloceanspaces.com/static/images/dummy-gradient.jpg)
Quick Facts
Biography
Antti Arvi Valmari (s. 1961) on 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.
Lähteet
- ↑ Antti Valmari tietojenkäsittelytieteen professoriksi JyU.fi.
- ↑ Veli-Matti Autio: Suomen professorit. Finlands professorer.Professoriliitto, 2000. ISBN 951-95189-6-7. s. 736