Antti Valmari

Homepage in English behind this link

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

• meili:
• luuri: 040 8053362
• huone: Ag C416.2
• posti: PL 35 (Ag C416.2), 40014 Jyväskylän yliopisto

Opintojaksoni

• TIEP1020 Diskreetit rakenteet kevät 2018–
• TIEA211 Al­go­rit­mit 2 kevät 2023–
• TIEA3810 So­vel­let­tu pre­di­kaat­ti­lo­giik­ka syksy 2022–
• TIES3510 Joukko-oppi ja logiikka ohjelmoinnissa syksy 2020–2021, kevät 2022 (ei pidetä 2022–2023)
• TIEA241 Automaatit ja kieliopit syksy 2018–2019 (lakkautettu)

Viimeaikaisia esitelmiä

• Undefined Terms in Practical Mathematical Reasoning Suomen loogikoiden verkkotapaaminen 9.10.2020
• A Completeness Theorem for Ternary First-Order Logic Suomen loogikoiden verkkotapaaminen 9.10.2020
• Matematiikan päivät 3.1.2020
• PedaForum 2019 6.6.2019
• Tiedekunnnan OPS-päivä 16.4.2019
• Modelling Without a Modelling Language SPIN 2018, 25th International Symposium on Model Checking of Software
• Matemaattista logiikkaa ohjelmoinnin hyväksi ja ohjelmointia matematiikan opiskelun hyväksi Juhlaluento 6.6.2018 toinen versio teknisten ongelmien varalta
• MathCheckin uudet ominaisuudet Matematiikan päivät 4.1.2018
• The Logic of Equation and Inequation Solving Matematiikan päivät 5.1.2018

Tärkeimpiä aikaansaannoksia ja kehuja

• MathCheck Jyväskylässä (Paljon esimerkkejä MathCheckin avulla toimivista tehtävistä on kurssieni veppisivuilla. Vuoden 2020 uutuuksia MathCheckissa ovat reaalilogiikkamoodi ja luonnollisten lukujen logiikkamoodi.)
• MathCheck Tampereella (näyttää olevan vuodelta 2017, siitä puuttuu paljon uutta)
• Tämä on aika kova juttu.
• Tämäkin ilahdutti minua suuresti.
• Tämä on pienemmän mittakaavan, mutta toki tuntui kivalta. En löytänyt linkkejä kahteen muuhun vastaavaan (ACSD 1998 ja Petri Nets 2012).
• Tässä osuuteni oli avustava ja ohjaava.
• Vuodesta 2008 olen ollut Suomalaisen Tiedeakatemian jäsen.
• Peliteknologiakoodarin suosikkijulkaisujen luettelo (ks. kuudes)
• Tietoni Google Scholarissa
• Tietoni DBLP:ssä
• CV
• Julkaisuluettelo

Viimeisin päivitys 2022-09-26