Salomaa, Arto

Arto Salomaa
fena. Arto Salomaa
Födelsedatum 6 juni 1934( 1934-06-06 ) [1] (88 år gammal)
Födelseort
Land
Vetenskaplig sfär matematik , datavetenskap
Arbetsplats Åbo universitet
Alma mater Åbo universitet
Akademisk examen doktor i filosofisk vetenskap
vetenskaplig rådgivare Kustaa Inkeri
Studenter Neil Jones
Juhani Karhumaki
Jarkko Kari
Leela Kari
Paul Vitani
Känd som matematiker , specialist i formspråk och automatteori
Utmärkelser och priser European Association for Theoretical Computer Science Prize [d] ( 2004 ) Årets professor [d] ( 1993 ) Hedersdoktor vid Graz tekniska universitet [d] ( 1999 ) hedersdoktor vid universitetet i Szeged [d] ( 1989 ) hedersdoktor vid universitetet i Bukarest [d] ( 1992 ) hedersdoktor från Graz tekniska universitet [d]
Hemsida math.utu.fi/projects/sta...
 Mediafiler på Wikimedia Commons

Arto Kustaa Salomaa ( finn. Arto Kustaa Salomaa ; född 6 juni 1934 , Åbo , Finland ) är en finländsk matematiker och datavetare. Hans forskning i över 40 år har handlat om formella språk och automatteori .

Biografi

1954 tog han en kandidatexamen från Åbo universitet och 1960 en doktorsexamen ( filosofie doktor ). Hans far var professor i filosofi vid detta universitet [2] .

Salomaa introducerades till teorin om automater och formella språk under John Myhills seminarier vid University of California i Berkeley 1957 [3] .

1965–1999 var han professor i matematik vid Åbo universitet . Från 1966-1968 undervisade han vid University of Western Ontario , från 1973-1975 vid Aarhus Universitet [2] [4] och från 1981-1982 vid University of Waterloo [5] [6] .

Från 1979 till 1985 var Salomaa ordförande för European Association for Theoretical Informatics [7] .

Publikationer

Salomaa skrev eller var medförfattare till 55 böcker [8] , samt cirka 400 publikationer i vetenskapliga tidskrifter [9] [10] .

Huvudböcker:

Tillsammans med Grzegorz Rozenberg publicerades 1997 en 3-volym (2000 sidor) Handbook of Formal Languages ​​- en guide till teorin om formella språk [11] .

Dessa böcker citerades ofta inom sina respektive områden. Till exempel var boken Formella språk 1991 bland de 100 mest citerade texterna i matematik [2] .

Utmärkelser och erkännande

1992 valdes han in i Europeiska Akademien [12] , och 1994 - Årets finska professor [5] .

1998 - Nokia Foundation Award [13] .

1999 - Hedersdoktor (Doctor Honoris Causa) vid Graz tekniska universitet [14] .

Salomaa tilldelades titeln Akademiker vid Finlands Akademi 2001 [15] [16] .

2004 fick han EATCS Award [17] .

2013 mottog han en hedersdoktor (Doctor Honoris Causa) från University of Western Ontario [18] .

2016 - Emeritusprofessor vid Åbo universitet [5] .

2018 instiftades Salomaapriset i teorin om automater och formella språk [19] [20] [21] .

Personligt liv

Salomaa gifte sig 1959 [22] . Han har två barn: Kirsty och Kai Salomaa [22] , varav den senare är professor i datavetenskap vid Queens University i Kingston och arbetar med formella språk och automatteori [23] .

Anteckningar

  1. ↑ Leidse Hoogleraren  (nederländska)
  2. ↑ 1 2 3 Karhumäki, J. En kort biografi om Arto Salomaa  (obestämd)  // Information and Computation . - 1991. - T. 151 . - S. 2-4 . - doi : 10.1006/inco.1998.2760 .
  3. ↑ Salomaa, A. Myhill, Åbo och bastupoesi: minnen som härrör från EATCS Award  //  Bulletin of the European Association for Theoretical Computer Science  : tidskrift. - 2004. - Vol. 84 . - S. 12-15 .
  4. ↑ Salomaa, A. (1999), Händelser och språk, i Calude, CS, People and Ideas in Theoretical Computer Science , Springer , s. 253–273  .
  5. ↑ 1 2 3 Salomaa Arto . Hämtad 7 juli 2018. Arkiverad från originalet 8 juli 2018.
  6. ↑ Akademin för Europa: CV . Hämtad 3 juli 2018. Arkiverad från originalet 8 juli 2018.
  7. ↑ Brauer, Ute; Brauer, Wilfried. Silverjubileum för EATCS . EATCS (1997). Hämtad 24 november 2013. Arkiverad från originalet 12 december 2011.
  8. ↑ Academy of Europe: Books
  9. ↑ Academy of Europe: Publikationer före 1990
  10. ↑ Academy of Europe: Publications after 1990
  11. ↑ Infante-Lopez, Gabriel. Recension av Handbook of Formal Languages ​​av Grzegorz Rozenberg och Arto Salomaa  (engelska)  // Journal of Logic, Language, and Information: tidskrift. - 2005. - Vol. 14 , nr. 4 . - S. 457-466 . — .
  12. ↑ Europas akademi: Salomaa Arto . Hämtad 3 juli 2018. Arkiverad från originalet 2 februari 2018.
  13. ↑ http://nokiafoundation.stage.rfistudios.com/wp-content/uploads/2016/01/historiikki-en-pdf.pdf (22 - 23)
  14. ↑ Ehrendoktoren der TU Graz (otillgänglig länk) . Hämtad 7 juli 2018. Arkiverad från originalet 6 juli 2018. 
  15. ↑ Finska vetenskapsakademier - Finlands Akademi . Hämtad 7 juli 2018. Arkiverad från originalet 8 juli 2018.
  16. ↑ Finlands Akademi, arkiverad kopia . Hämtad 2 juni 2014. Arkiverad från originalet 29 mars 2014. .
  17. ↑ van Leeuwen, Jan (2004), The distinguished achievement award: EATCS Award 2004, Bulletin of the European Association for Theoretical Computer Science vol 84: 10–11 
  18. ↑ Arto Salomaa - Datavetenskap - Western University (inte tillgänglig länk) . Datavetenskapliga institutionen, University of Western Ontario . Hämtad 7 juli 2018. Arkiverad från originalet 8 juli 2018.   .
  19. ↑ Nytt Salomaa-pris för automatteori och formella språk - Uppmaning till nomineringar (nedlänk) . Hämtad 10 april 2020. Arkiverad från originalet 20 maj 2018. 
  20. ↑ Salomaa-priset  (otillgänglig länk)
  21. ↑ Salomaa-priset - Pris i automatteori, formella språk och relaterade ämnen . Hämtad 7 juli 2018. Arkiverad från originalet 1 december 2018.
  22. ↑ 1 2 Salomaa, Arto Curriculum Vitae . Hämtad 4 juli 2018. Arkiverad från originalet 5 juli 2018. .
  23. ↑ Kai T. Salomaa . Queen's University . Hämtad 21 april 2014. Arkiverad från originalet 21 april 2014.

Länkar

  Gå till Wikidata-objektet  Tematiska platser
Ordböcker och uppslagsverk