Salomaa, Arto

Arto Salomaa
fin. Arto Salomaa
Fødselsdato 6. juni 1934( 1934-06-06 ) [1] (88 år)
Fødselssted
Land
Videnskabelig sfære matematik , datalogi
Arbejdsplads Universitetet i Turku
Alma Mater Universitetet i Turku
Akademisk grad doktor i filosofisk videnskab
videnskabelig rådgiver Kustaa Inkeri
Studerende Neil Jones
Juhani Karhumaki
Jarkko Kari
Leela Kari
Paul Vitani
Kendt som matematiker , specialist i formsprog og automatteori
Priser og præmier European Association for Theoretical Computer Science Prize [d] ( 2004 ) Årets professor [d] ( 1993 ) Æresdoktor ved Graz University of Technology [d] ( 1999 ) æresdoktor fra University of Szeged [d] ( 1989 ) æresdoktor fra University of Bukarest [d] ( 1992 ) æresdoktorgrad fra Graz University of Technology [d]
Internet side math.utu.fi/projects/sta…
 Mediefiler på Wikimedia Commons

Arto Kustaa Salomaa ( Finn. Arto Kustaa Salomaa ; født 6. juni 1934 , Turku , Finland ) er en finsk matematiker og datalog. Hans forskning i over 40 år har været i formelle sprog og automatteori .

Biografi

I 1954 modtog han en bachelorgrad fra universitetet i Turku og i 1960 en ph.d. ( doktor i filosofi ). Hans far var professor i filosofi ved dette universitet [2] .

Salomaa blev introduceret til teorien om automater og formelle sprog under John Myhills seminarer ved University of California i Berkeley i 1957 [3] .

Fra 1965 til 1999 var han professor i matematik ved universitetet i Turku . Fra 1966-1968 underviste han ved University of Western Ontario , fra 1973-1975 ved Aarhus Universitet [2] [4] , og fra 1981-1982 ved University of Waterloo [5] [6] .

Fra 1979 til 1985 var Salomaa formand for European Association for Theoretical Informatics [7] .

Publikationer

Salomaa skrev eller var medforfatter til 55 bøger [8] , samt omkring 400 publikationer i videnskabelige tidsskrifter [9] [10] .

Hovedbøger:

Sammen med Grzegorz Rozenberg blev der i 1997 udgivet en 3-binds (2000 sider) Handbook of Formal Languages ​​- en guide til teorien om formelle sprog [11] .

Disse bøger blev ofte citeret inden for deres respektive områder. For eksempel var bogen Formelle sprog i 1991 blandt de 100 mest citerede tekster i matematik [2] .

Priser og anerkendelse

I 1992 blev han valgt til det europæiske akademi [12] , og i 1994 - årets finske professor [5] .

1998 - Nokia Foundation Award [13] .

1999 - Æresdoktorgrad (Doctor Honoris Causa) ved Graz University of Technology [14] .

Salomaa blev tildelt titlen akademiker ved Finlands Akademi i 2001 [15] [16] .

I 2004 modtog han EATCS Award [17] .

I 2013 modtog han en æresdoktorgrad (Doctor Honoris Causa) fra University of Western Ontario [18] .

2016 - Emeritus professor ved Universitetet i Turku [5] .

I 2018 blev Salomaa-prisen etableret i teorien om automater og formelle sprog [19] [20] [21] .

Personligt liv

Salomaa giftede sig i 1959 [22] . Han har to børn: Kirsty og Kai Salomaa [22] , hvoraf sidstnævnte er professor i datalogi ved Queens University i Kingston og arbejder med formelle sprog og automatteori [23] .

Noter

  1. ↑ Leidse Hoogleraren  (hollandsk)
  2. ↑ 1 2 3 Karhumäki, J. En kort biografi om Arto Salomaa  (ubestemt)  // Information and Computation . - 1991. - T. 151 . - S. 2-4 . - doi : 10.1006/inco.1998.2760 .
  3. ↑ Salomaa, A. Myhill, Turku og Sauna Poesi: Erindringer, der stammer fra EATCS Award  //  Bulletin of the European Association for Theoretical Computer Science  : tidsskrift. - 2004. - Bd. 84 . - S. 12-15 .
  4. ↑ Salomaa, A. (1999), Events and Languages, i Calude, CS, People and Ideas in Theoretical Computer Science , Springer , s. 253-273  .
  5. ↑ 1 2 3 Salomaa Arto . Hentet 7. juli 2018. Arkiveret fra originalen 8. juli 2018.
  6. ↑ Academy of Europe: CV . Hentet 3. juli 2018. Arkiveret fra originalen 8. juli 2018.
  7. ↑ Brauer, Ute; Brauer, Wilfried. Sølvjubilæum for EATCS . EATCS (1997). Hentet 24. november 2013. Arkiveret fra originalen 12. december 2011.
  8. ↑ Academy of Europe: Bøger
  9. ↑ Academy of Europe: Publikationer før 1990
  10. ↑ Academy of Europe: Publikationer efter 1990
  11. ↑ Infante-Lopez, Gabriel. Gennemgang af Handbook of Formal Languages ​​af Grzegorz Rozenberg og Arto Salomaa  (engelsk)  // Journal of Logic, Language, and Information: tidsskrift. - 2005. - Bd. 14 , nr. 4 . - S. 457-466 . — .
  12. ↑ Europas Akademi: Salomaa Arto . Hentet 3. juli 2018. Arkiveret fra originalen 2. februar 2018.
  13. ↑ http://nokiafoundation.stage.rfistudios.com/wp-content/uploads/2016/01/historiikki-en-pdf.pdf (22 - 23)
  14. ↑ Ehrendoktoren der TU Graz (utilgængeligt link) . Hentet 7. juli 2018. Arkiveret fra originalen 6. juli 2018. 
  15. ↑ Finske videnskabsakademikere - Finlands Akademi . Hentet 7. juli 2018. Arkiveret fra originalen 8. juli 2018.
  16. ↑ Akademiet i Finland, arkiveret kopi . Hentet 2. juni 2014. Arkiveret fra originalen 29. marts 2014. .
  17. ↑ van Leeuwen, Jan (2004), The distinguished achievement award: EATCS Award 2004, Bulletin of the European Association for Theoretical Computer Science bind 84: 10-11 
  18. ↑ Arto Salomaa - Datalogi - Western University (utilgængeligt link) . Computer Science Department, University of Western Ontario . Hentet 7. juli 2018. Arkiveret fra originalen 8. juli 2018.   .
  19. ↑ Ny Salomaa-pris for automatteori og formelle sprog - Opfordring til nomineringer (downlink) . Hentet 10. april 2020. Arkiveret fra originalen 20. maj 2018. 
  20. ↑ Salomaa-prisen  (utilgængeligt link)
  21. ↑ Salomaa-prisen - Pris i automatteori, formelle sprog og relaterede emner . Hentet 7. juli 2018. Arkiveret fra originalen 1. december 2018.
  22. ↑ 1 2 Salomaa, Arto Curriculum Vitae . Hentet 4. juli 2018. Arkiveret fra originalen 5. juli 2018. .
  23. ↑ Kai T. Salomaa . Queen's University . Hentet 21. april 2014. Arkiveret fra originalen 21. april 2014.

Links

  Gå til Wikidata-elementet  Tematiske steder
Ordbøger og encyklopædier