Arto Kustaa Salomaa, född 6 juni 1934 i Åbo, död 26 januari 2025 i Kauhajoki,Arto Salomaa, Academician of Science, dies at 90 var en finländsk matematiker och datavetare.

Salomaas forskarkarriär, som sträckte sig över fyrtio år, var inriktad på formella språk och automatteori. Han blev 1966 professor i tillämpad matematik vid Uleåborgs universitet och var 1966–1998 professor i matematik vid Åbo universitet. Sedan 1970 var han ledamot av Finska Vetenskapsakademien och sedan 1980 av Finska Vetenskaps-Societeten. Under åren 1980–85 och 1989–99 var han forskarprofessor/akademiprofessor vid Finlands Akademi. Han tilldelades akademikers titel 2001.

Biografi Salomaa tog en kandidatexamen från Åbo universitet 1954 och doktorsexamen vid samma universitet 1960. Hans far var professor i filosofi vid Åbo universitet. Salomaa introducerades till teorin om automata och formella språk under seminarier på Berkeley-universitetet som gavs av John Myhill 1957.

Salomaa gifte sig 1959. Han har två barn, Kirsti och Kai, av vilka den sistnämnde är professor i datavetenskap på Queen's University at Kingston och arbetar också han inom området av formella språk och automatteori.

Akademisk karriär År 1965 blev Salomaa professor i matematik vid Åbo universitet, en tjänst han gick i pension från 1999. Han tillbringade också två år i slutet av 1960-talet vid University of Western Ontario i London, Ontario, Kanada och två år på 1970-talet vid Århus Universitet i Danmark..

Salomaa var ordförande för European Association for Theoretical Computer Science från 1979 till 1985.

Bibliografi (urval) Theory of Automata (1969) Formal Languages (1973) "The Mathematical Theory of L-Systems" (1980, med Grzegorz Rozenberg), "Jewels of Formal Language Theory" (1981) Computation Automata (1985) Public-key Cryptography (1990) "DNA Computing" (1998) "Handbok för formella språk" (1997 med Rozenberg ), en 2000-sidig referens om formell språkteori i 3 volymer.

Salomaa har också publicerat över 400 artiklar i vetenskapliga tidskrifter under sin professionella karriär. Han har också författat icke-vetenskapliga artiklar som "Vad datavetare bör veta om bastu". Efter sin pensionering har han publicerat nästan ytterligare 100 vetenskapliga artiklar.

Utmärkelser och hedersbetygelser

Salomaa har tilldelats titeln akademiker av Finlands Akademi och är en av tolv levande (2021) finska personer som tilldelats titeln. Han fick också EATCS Award 2004.

Saloma har fått sju hedersdoktorat och den 13 juni 2013 tilldelades han en Doctor Honoris Causa'' från University of Western Ontario.

Referenser

Noter

Externa länkar

Arto Salomaa home page

Kategori:Finländska professorer i matematik Kategori:Personer verksamma vid Uleåborgs universitet Kategori:Personer verksamma vid Åbo universitet Kategori:Ledamöter av Finska Vetenskapsakademien Kategori:Personer i Finland under 1900-talet Kategori:Personer från Åbo Kategori:Födda 1934 Kategori:Avlidna 2025 Kategori:Män Kategori:Akademiker (Finland) Kategori:Kommendörer av första klass av Finlands Lejons orden