Akateemikko Arto Salomaa on kuollut

28.1.2025

Tietotekniikan matemaattista teoriaa kehittänyt matemaatikko, akateemikko Arto Salomaa on kuollut. Hän oli syntynyt vuonna 1934. Arto Salomaa teki pitkän tutkijanuransa aikana matemaattiseen logiikkaan pohjautuvaa tieteellistä työtä, joka keskittyi formaaleihin kieliin ja automaattien teoriaan.

Salomaa kiinnostui 1960-luvulla tietokoneiden tarjoamista matemaattisista haasteista. Tietotekniikan matemaattisen teorian saralla hän keskittyi muun muassa kryptografian ja DNA-laskennan teorian luomiseen. Hän oli yksi tärkeimmistä automaattien ja formaalisten kielten teorian kehittäjistä.

Salomaa ansioitui monipuolisella tavalla paitsi tietojenkäsittelyn edistykseen syvästi vaikuttaneiden tutkimusalojen aktiivisena kehittäjänä, myös muun muassa erinomaisena nuorten tutkijoiden ohjaajana ja arvostettujen monografioiden kirjoittajana. Hänen tieteelliset saavutuksensa ovat erittäin arvostettuja kansainvälisessä tiedeyhteisössä.

Salomaa toimi Turun yliopiston matematiikan professorina vuosina 1966–1998 ja Suomen Akatemian tutkijaprofessorina ja myöhemmin akatemiaprofessorina vuosina 1975–1980 ja 1989–1999. Lisäksi Salomaa on työskennellyt useissa ulkomaisissa yliopistoissa vierailevana professorina. Hän on seitsemän ulkomaisen ja kahden kotimaisen yliopiston kunniatohtori.

Akateemikon arvonimen hän sai vuonna 2001.

Onko sinulla kysyttävää tai haluatko antaa meille palautetta?