Olen luotettavien tehokkaiden teknisesti vaativien tietokoneohjelmien suunnittelun ja toteuttamisen asiantuntija. Sovellan siihen laajan ohjelmointikokemuksen lisäksi tietojenkäsittelytiedettä ja matemaattista logiikkaa. Viime vuosina olen laatinut uuden sukupolven tietokoneohjelmaa antamaan opiskelijoille palautetta heidän vastauksistaan matematiikkaa ja teoreettista tietojenkäsittelytiedettä käsitteleviin tehtäviin. Ohjelmalle voidaan esittää ei pelkästään lopullinen vastaus, vaan myös siihen johtanut päättelyketju. Se avaa pedagogisesti uusia mahdollisuuksia ja sen toteuttaminen on vaatinut muun muassa matemaattisen logiikan teoreettisten tulosten muuntamista osaksi tietokoneohjelmaa. Esimerkkejä sen kyvyistä löytyy http://users.jyu.fi/%7eava/MathCheck_yleinen.html.
Luotettavien tehokkaiden tietokoneohjelmien suunnittelu ja toteutus sekä niissä käytettävät teoreettisen tietojenkäsittelytieteen ja logiikan menetelmät. Tietokoneohjelmien laatiminen matematiikan, ohjelmoinnin ja tietojenkäsittelytieteen opettamiseen.