Uskon todella, että olemme siirtymässä ohjelmistojen ja tietojenkäsittelytieteen kultakauteen. Tulevaisuudessa tullaan kirjoittamaan niin paljon ohjelmistoja. Ja se tuo mukanaan joukon uusia haasteita. Ja tuntuu todella siltä, että tapa käsitellä näitä ei ole kehykset ja alustat, vaan tietojenkäsittelytieteen perusteet. Haasteet ovat jo hyvin ilmeisiä. Esimerkiksi syntaksin semanttisen aukon hallinta, tietoturvan valvonta kielijärjestelmien tasolla (onko vihdoin aika luotettavalle laskennalle?), koko järjestelmätason virheiden käsittely ja palautus, arkkitehtuurin kehittäminen ajonaikaisten oppien pohjalta, korkeamman tason aikomuksen formalisointi, tilanhallinnan ja takuuten uudelleenarviointi jne. jne. Tarvittava innovaatio löytyy koko pinosta. Piistä ohjelmistotekniikan käytäntöihin. Näemme jo häiriöitä kaikkialla: sirut, verkot, käyttöjärjestelmät, kielet, kielten ajonaikajärjestelmät, hajautetut järjestelmät, alustatuki, tietoturva jne. jne. jne. jne. Mikä aika.