Antti Valmari

Homepage in English behind this link

[minua Lapissa esittävä valokuva]

Olen tietojenkäsittelytieteen professori Jyväskylän yliopistossa 1.1.2018 alkaen. Sitä ennen olin professori tai apulaisprofessori Tampereen teknillisessä yliopistossa yli 25 vuotta.

Sovellan teoreettista tietojenkäsittelytiedettä ja logiikkaa luotettavien ja tehokkaiden tietokoneohjelmien laatimiseksi. Minulla on pitkä kokemus vaativien ohjelmien toteuttamisesta.

Yhteystiedot

Opintojaksoni

Viimeaikaisia esitelmiä

Tärkeimpiä aikaansaannoksia ja kehuja