Antti Valmari

Homepage in English behind this link

[minua Lapissa esittävä valokuva]

Olen tietojen­käsittely­tieteen professori Jyväs­kylän yliopis­tossa 1.1.2018 alkaen. Sitä ennen olin professori tai apulais­professori Tampereen teknil­lisessä yliopis­tossa yli 25 vuotta.

Sovellan teoreettista tietojen­käsittely­tiedettä ja logiikkaa luotettavien ja tehokkaiden tietokone­ohjelmien laatimiseksi. Minulla on pitkä kokemus vaativien ohjelmien toteuttamisesta.

Yhteystiedot

Opintojaksoni

Viimeaikaisia esitelmiä

Tärkeimpiä aikaansaannoksia ja kehuja