Salomaa, Arto

Arto Salomaa
uszony. Arto Salomaa
Születési dátum 1934. június 6.( 1934-06-06 ) [1] (88 évesen)
Születési hely
Ország
Tudományos szféra matematika , számítástechnika
Munkavégzés helye Turku Egyetem
alma Mater Turku Egyetem
Akadémiai fokozat a filozófiai tudomány doktora
tudományos tanácsadója Kustaa Inkeri
Diákok Neil Jones
Juhani Karhumaki
Jarkko Kari
Leela Kari
Paul Vitani
Ismert, mint matematikus , a formális nyelv és az automataelmélet specialistája
Díjak és díjak Európai Számítástechnikai Elméleti Szövetség Díja [d] ( 2004 ) Az év professzora [d] ( 1993 ) A Grazi Műszaki Egyetem díszdoktora [d] ( 1999 ) a Szegedi Tudományegyetem díszdoktora [d] ( 1989 ) a Bukaresti Egyetem díszdoktora [d] ( 1992 ) a Grazi Műszaki Egyetem tiszteletbeli doktora [d]
Weboldal math.utu.fi/projects/sta…
 Médiafájlok a Wikimedia Commons oldalon

Arto Kustaa Salomaa ( finn. Arto Kustaa Salomaa ; Turku , Finnország , 1934. június 6. született ) finn matematikus és informatikus. Kutatásai több mint 40 éve a formális nyelvek és az automataelmélet területén zajlanak .

Életrajz

1954-ben a Turku Egyetemen szerzett bachelor fokozatot , 1960-ban pedig PhD fokozatot ( a filozófia doktora ). Édesapja a filozófia professzora volt ezen az egyetemen [2] .

Salomaa 1957-ben Myhill szemináriumai során ismerkedett meg az automaták és a formális nyelvek elméletével a Kaliforniai Egyetemen, Berkeleyben [3] .

1965 és 1999 között a Turkui Egyetem matematika professzora volt . 1966-1968 között a Nyugat-Ontariói Egyetemen , 1973-1975-ig az Aarhusi Egyetemen [2] [4] , 1981-1982-ig a Waterloo Egyetemen [5] [6] tanított .

1979 és 1985 között Salomaa az Európai Elméleti Informatikai Szövetség [7] elnöke volt .

Publikációk

Salomaa 55 könyvet írt vagy társszerzője [8] , valamint mintegy 400 publikációt publikált tudományos folyóiratokban [9] [10] .

Főbb könyvek:

Grzegorz Rozenberggel együtt 1997-ben megjelent egy 3 kötetes (2000 oldalas) Formális nyelvek kézikönyve - útmutató a formális nyelvek elméletéhez [11] .

Ezekre a könyvekre gyakran hivatkoztak saját szakterületükön. Például a Formal Languages ​​című könyv 1991-ben a 100 legtöbbet idézett matematikai szöveg között volt [2] .

Díjak és elismerések

1992-ben az Európai Akadémia tagjává választották [12] , 1994-ben pedig - az év finn professzorának [5] .

1998 – Nokia Foundation Award [13] .

1999 – Díszdoktor (Doctor Honoris Causa) a Grazi Műszaki Egyetemen [14] .

Salomaa 2001- ben elnyerte a Finn Akadémia akadémikusa címet [15] [16] .

2004-ben megkapta az EATCS-díjat [17] .

2013-ban tiszteletbeli doktori címet (Doctor Honoris Causa) kapott a Western Ontario Egyetemen [18] .

2016 - Emeritus Professzor a Turkui Egyetemen [5] .

2018-ban alapították a Salomaa-díjat az automaták és a formális nyelvek elméletében [19] [20] [21] .

Személyes élet

Salomaa 1959-ben házasodott meg [22] . Két gyermeke van: Kirsty és Kai Salomaa [22] , utóbbi a Kingston-i Queens Egyetem számítástechnika professzora, és formális nyelvekkel és automata elmélettel [23] dolgozik .

Jegyzetek

  1. ↑ Leidse Hoogleraren  (holland)
  2. ↑ 1 2 3 Karhumäki, J. Arto Salomaa rövid életrajza  (határozatlan)  // Információ és számítás . - 1991. - T. 151 . - S. 2-4 . - doi : 10.1006/inco.1998.2760 .
  3. ↑ Salomaa, A. Myhill, Turku és Szauna Költészet: Visszaemlékezések az EATCS-díjból  //  Bulletin of the European Association for Theoretical Computer Science  : folyóirat. - 2004. - 20. évf. 84 . - P. 12-15 .
  4. ↑ Salomaa, A. (1999), Események és nyelvek, in Calude, CS, People and Ideas in Theoretical Computer Science , Springer , p. 253–273  .
  5. ↑ 1 2 3 Salomaa Arto . Letöltve: 2018. július 7. Az eredetiből archiválva : 2018. július 8.
  6. ↑ Európa Akadémia: önéletrajz . Letöltve: 2018. július 3. Az eredetiből archiválva : 2018. július 8.
  7. ↑ Brauer, Ute; Brauer, Wilfried. Az EATCS ezüst jubileuma . EATCS (1997). Letöltve: 2013. november 24. Az eredetiből archiválva : 2011. december 12..
  8. ↑ Európa Akadémia: Könyvek
  9. ↑ Európa Akadémia: 1990 előtti publikációk
  10. ↑ Európa Akadémia: 1990 utáni publikációk
  11. ↑ Infante-Lopez, Gabriel. Grzegorz Rozenberg és Arto Salomaa  (angol) áttekintése a Formal Languages ​​kézikönyvéről  // Journal of Logic, Language and Information : folyóirat. - 2005. - 20. évf. 14 , sz. 4 . - P. 457-466 . — .
  12. ↑ Európa Akadémia: Salomaa Arto . Letöltve: 2018. július 3. Az eredetiből archiválva : 2018. február 2.
  13. ↑ http://nokiafoundation.stage.rfistudios.com/wp-content/uploads/2016/01/historiikki-en-pdf.pdf (22-23)
  14. ↑ Ehrendoktoren der TU Graz (elérhetetlen link) . Letöltve: 2018. július 7. Az eredetiből archiválva : 2018. július 6. 
  15. ↑ Finn Tudományos Akadémikusok – Finn Akadémia . Letöltve: 2018. július 7. Az eredetiből archiválva : 2018. július 8.
  16. ↑ Finn Akadémia, archivált példány . Letöltve: 2014. június 2. Az eredetiből archiválva : 2014. március 29. .
  17. ↑ van Leeuwen, Jan (2004), A kitüntetett teljesítmény díja: EATCS Award 2004, Bulletin of the European Association for Theoretical Computer Science, 84. évf., 10–11. 
  18. ↑ Arto Salomaa - Számítástechnika - Nyugati Egyetem (nem elérhető link) . Számítástechnikai Tanszék, Nyugat-Ontario Egyetem . Letöltve: 2018. július 7. Az eredetiből archiválva : 2018. július 8.   .
  19. ↑ Új Salomaa Automata elméleti és formális nyelvi díj – Felhívás (downlink) . Letöltve: 2020. április 10. Az eredetiből archiválva : 2018. május 20. 
  20. ↑ Salomaa-díj  (elérhetetlen link)
  21. ↑ Salomaa-díj – automataelmélet, formális nyelvek és kapcsolódó témák díja . Letöltve: 2018. július 7. Az eredetiből archiválva : 2018. december 1..
  22. ↑ 1 2 Salomaa, Arto Curriculum Vitae . Letöltve: 2018. július 4. Az eredetiből archiválva : 2018. július 5.. .
  23. ↑ Kai T. Salomaa . Queen's University . Letöltve: 2014. április 21. Az eredetiből archiválva : 2014. április 21..

Linkek

  Ugrás a Wikidata elemre  Tematikus oldalak
Szótárak és enciklopédiák