Arto Salomaa

Arto Salomaa
Född6 juni 1934[1] (90 år)
Åbo
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
Aarhus universitet
Åbo universitet (1966–1999)
Finlands Akademi (1975–1980)
Universitetet i Leiden (1988–)[1]
Finlands Akademi (1989–1999)
Utmärkelser
Se lista i artikeln
Webbplatslänk
Redigera Wikidata

Arto Kustaa Salomaa, född 6 juni 1934 i Åbo, Finland, är en finländsk matematiker och datavetare.

Salomaas forskarkarriär, som sträcker sig över fyrtio år, är 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 är han ledamot av Finska Vetenskapsakademien.[2] 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.[3] Salomaa introducerades till teorin om automata och formella språk under seminarier på Berkeley-universitetet som gavs av John Myhill 1957.[4]

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

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.[3][7]

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

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

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

Utmärkelser och hedersbetygelser

[redigera | redigera wikitext]
  • Hedersdoktor vid Szegeds universitet, 1989
  • Hedersdoktor vid Bukarests universitet, 1992
  • Årets professor, 1993
  • Hedersdoktor vid Technische Universität Graz, 1999
  • EATCS Award, 2004
  •  Kommendörstecknet av I klass av Finlands Lejons orden, 6 december 2019[11]
  • Hedersdoktor vid Technische Universität Graz
  • Nokia Foundation Recognition Award

[Redigera Wikidata]

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

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

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. ^ [a b c] Leidse Hoogleraren, Leidse Hoogleraren-ID: 2115, läst: 19 juni 2019.[källa från Wikidata]
  2. ^ ”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. 
  3. ^ [a b] 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. 
  4. ^ 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. 
  5. ^ [a b] Salomaa, Arto. ”Curriculum Vitae”. http://www.math.utu.fi/projects/staff/asalomaa/cvarto.html. Läst 4 juli 2018. 
  6. ^ ”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. 
  7. ^ Salomaa, A. (1999), ”Events and Languages”, i Calude, C. S., People and Ideas in Theoretical Computer Science, Springer, s. 253–273 .
  8. ^ 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. 
  9. ^ 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. 
  10. ^ Salomaa, A. (1981). ”What computer scientists should know about sauna”. Bulletin of the European Association of Theoretical Computer Science 15: sid. 8–21. 
  11. ^ Annetut kunniamerkit (på finska), läs online.[källa från Wikidata]
  12. ^ ”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. 
  13. ^ ”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. 
  14. ^ [a b] van Leeuwen, Jan (2004), ”The distinguished achievement award: EATCS Award 2004”, Bulletin of the European Association for Theoretical Computer Science 84: 10–11 
  15. ^ ”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]
Auktoritetsdata