Hoppa till innehållet

Arto Salomaa

Från Wikipedia
Arto Salomaa
Född6 juni 1934[1][2]
Åbo, Finland
Död26 januari 2025 (90 år)
Kauhajoki, Finland
Medborgare iFinland
Utbildad vidÅbo universitet, licentiatexamen,
Åbo universitet, filosofie doktor,
University of California, Berkeley,
SysselsättningMatematiker, datavetare, universitetslärare[1]
ArbetsgivareUniversity of Western Ontario
Universitetet i Leiden
Århus universitet
Åbo universitet (1966–1999)
Finlands Akademi (1975–1980)
Universitetet i Leiden (1988–)[1]
Finlands Akademi (1989–1999)
FöräldrarJalmari Salomaa
Utmärkelser
Se lista i artikeln
Webbplatslänk
Redigera Wikidata

Arto Kustaa Salomaa, född 6 juni 1934 i Åbo, död 26 januari 2025 i Kauhajoki,[3] 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[4] 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

[redigera | redigera wikitext]

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

Salomaa gifte sig 1959.[7] Han har två barn, Kirsti och Kai,[7] 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.[8]

Akademisk karriär

[redigera | redigera wikitext]

Å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.[5][9]

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

Bibliografi (urval)

[redigera | redigera wikitext]
  • 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.[11]

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".[12] Efter sin pensionering har han publicerat nästan ytterligare 100 vetenskapliga artiklar.

Utmärkelser och hedersbetygelser

[redigera | redigera wikitext]

[Redigera Wikidata]

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

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

Referenser

[redigera | redigera wikitext]
Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Arto Salomaa, 5 juli 2021.

Noter

[redigera | redigera wikitext]
  1. 1 2 3 Leidse Hoogleraren, Leidse Hoogleraren-ID: 1293, läst: 19 juni 2019.[källa från Wikidata]
  2. ↑ Matti Klinge (red.), Kansallisbiografia, Finska litteratursällskapet och Finska historiska samfundet, Finlands nationalbiografi-ID: 8716, läst: 5 februari 2025.[källa från Wikidata]
  3. ↑ Arto Salomaa, Academician of Science, dies at 90 Arkiverad 5 februari 2025 hämtat från the Wayback Machine. (engelska)
  4. ↑ ”Suomalaisen Tiedeakatemian varsinaiset jäsenet”. Suomalainen Tiedeakatemia. Arkiverad från originalet den 8 augusti 2015. https://web.archive.org/web/20150808063536/http://www.acadsci.fi/jasenet/varsinaiset_jasenet.htm. Läst 5 mars 2015.
  5. 1 2 Karhumäki, J. (1991). ”A short biography of Arto Salomaa”. Information and Computation 151 (1–2): sid. 2–4. doi:10.1006/inco.1998.2760.
  6. ↑ Salomaa, A. (2004). ”Myhill, Turku and Sauna Poetry: Recollections arising from the EATCS Award”. Bulletin of the European Association for Theoretical Computer Science 84: sid. 12–15.
  7. 1 2 Salomaa, Arto. ”Curriculum Vitae”. http://www.math.utu.fi/projects/staff/asalomaa/cvarto.html. Läst 4 juli 2018.
  8. ↑ ”Kai T. Salomaa”. Queen's University. Arkiverad från originalet den 21 april 2014. https://web.archive.org/web/20140421082706/http://research.cs.queensu.ca/~ksalomaa/. Läst 21 april 2014.
  9. ↑ Salomaa, A. (1999), ”Events and Languages”, i Calude, C. S., People and Ideas in Theoretical Computer Science, Springer, s. 253–273.
  10. ↑ Brauer, Ute; Brauer, Wilfried (1997). ”Silver Jubilee of EATCS”. EATCS. Arkiverad från originalet den 12 december 2011. https://web.archive.org/web/20111212020951/http://eatcs.org/index.php/about-the-association/article/497. Läst 24 november 2013.
  11. ↑ Infante-Lopez, Gabriel (2005). ”Review of Handbook of Formal Languages by Grzegorz Rozenberg and Arto Salomaa”. Journal of Logic, Language and Information 14 (4): sid. 457–466.
  12. ↑ Salomaa, A. (1981). ”What computer scientists should know about sauna”. Bulletin of the European Association of Theoretical Computer Science 15: sid. 8–21.
  13. ↑ Matti Klinge (red.), Kansallisbiografia, Finska litteratursällskapet och Finska historiska samfundet, Finlands nationalbiografi-ID: 8716, läst: 29 november 2024.[källa från Wikidata]
  14. ↑ Annetut kunniamerkit (på finska), läs online.[källa från Wikidata]
  15. ↑ ”Finnish Academicians of Science — Academy of Finland”. Arkiverad från originalet den 24 mars 2019. https://web.archive.org/web/20190324041421/https://www.aka.fi/en/about-us/scientists-behind-the-research/academicians-of-science/finnish-academicians-of-science/. Läst 12 december 2021.
  16. ↑ ”Academicians”. Academy of Finland. Arkiverad från originalet den 29 mars 2014. https://web.archive.org/web/20140329152210/http://www.aka.fi/en-GB/A/Academy-of-Finland/Who-we-are/Academicians/. Läst 2 juni 2014.
  17. 1 2 van Leeuwen, Jan (2004), ”The distinguished achievement award: EATCS Award 2004”, Bulletin of the European Association for Theoretical Computer Science 84: 10–11
  18. ↑ ”Arto Salomaa - Computer Science - Western University”. Computer Science Department, University of Western Ontario. Arkiverad från originalet den 8 juli 2018. https://web.archive.org/web/20180708015627/http://www.csd.uwo.ca/news/arto_salomaa.html. Läst 7 juli 2018.

Externa länkar

[redigera | redigera wikitext]
Hämtad från ”https://sv.wikipedia.org/w/index.php?title=Arto_Salomaa&oldid=58795485”