Akademikern Arto Salomaa är död

Matematikern och akademikern inom vetenskap Arto Salomaa (f. 1934) har avlidit. Under sin långa karriär bedrev Salomaa vetenskaplig forskning utgående från den matematiska logikens grunder, med fokus på formella språk och automatteori.

Redan på 1960-talet blev Salomaa intresserad av de matematiska utmaningar som datorer erbjuder. Han inriktade sin forskning på matematisk teori inom datavetenskap, där han bland annat fokuserade på att skapa teorier om kryptografi och DNA-beräkning. Han var en av de viktigaste utvecklarna av teorierna om automater och formella språk.

Salomaa utmärkte sig på ett mångsidigt sätt, inte bara som en aktiv utvecklare av nya forskningsområden som djupt påverkade utvecklingen av databehandlingen, utan också bland annat som en utmärkt vägledare för unga forskare och en författare av ansedda monografier. Hans vetenskapliga prestationer åtnjuter mycket hög uppskattning inom det internationella forskarsamhället.

Salomaa var professor i matematik vid Åbo universitetet åren 1966–1998 och hade finansiering från Finlands Akademi som forskningsprofessor åren 1975–1980 och som akademiprofessor åren 1989–1999. Dessutom var Salomaa gästprofessor vid flera utländska universitet. Han hade hedersdoktorsgrad vid sju utländska och två finländska universitet.

Salomaa tilldelades titeln akademiker inom vetenskap år 2001.