Salomaa, Arto

Arto Salomaa
fin. Arto Salomaa
Syntymäaika 6. kesäkuuta 1934( 6.6.1934 ) [1] (88-vuotias)
Syntymäpaikka
Maa
Tieteellinen ala matematiikka , tietojenkäsittelytiede
Työpaikka Turun yliopisto
Alma mater Turun yliopisto
Akateeminen tutkinto filosofian tohtori
tieteellinen neuvonantaja Kustaa Inkeri
Opiskelijat Neil Jones
Juhani Karhumaki
Jarkko Kari
Leela Kari
Paul Vitani
Tunnetaan matemaatikko , fomaalikielen ja automaattiteorian asiantuntija
Palkinnot ja palkinnot Euroopan tietojenkäsittelyteorian liiton palkinto [d] ( 2004 ) Vuoden professori [d] ( 1993 ) Grazin teknillisen yliopiston kunniatohtori [d] ( 1999 ) kunniatohtori Szegedin yliopistosta [d] ( 1989 ) kunniatohtorin arvo Bukarestin yliopistosta [d] ( 1992 ) Grazin teknillisen yliopiston kunniatohtori [d]
Verkkosivusto math.utu.fi/projektit/sta…
 Mediatiedostot Wikimedia Commonsissa

Arto Kustaa Salomaa ( s . Arto Kustaa Salomaa ; syntynyt 6.6.1934 , Turku ) on suomalainen matemaatikko ja tietojenkäsittelytieteilijä. Hänen tutkimuksensa yli 40 vuoden ajan on ollut muodollisia kieliä ja automaattiteoriaa .

Elämäkerta

Vuonna 1954 hän suoritti kandidaatin tutkinnon Turun yliopistosta ja vuonna 1960 filosofian tohtoriksi . Hänen isänsä oli filosofian professori tässä yliopistossa [2] .

Salomaa tutustuttiin automaattien ja muodollisten kielten teoriaan John Myhillin seminaareissa Kalifornian yliopistossa Berkeleyssä vuonna 1957 3] .

Vuodet 1965-1999 hän toimi matematiikan professorina Turun yliopistossa . Vuosina 1966-1968 hän opetti Länsi-Ontarion yliopistossa , 1973-1975 Aarhusin yliopistossa [2] [4] ja 1981-1982 Waterloon yliopistossa [5] [6] .

Vuodesta 1979 vuoteen 1985 Salomaa toimi Euroopan teoreettisen informatiikan yhdistyksen puheenjohtajana [7] .

Julkaisut

Salomaa kirjoitti tai oli mukana kirjoittamassa 55 kirjaa [8] sekä noin 400 julkaisua tieteellisissä aikakauslehdissä [9] [10] .

Pääkirjat:

Yhdessä Grzegorz Rozenbergin kanssa julkaistiin vuonna 1997 3-osainen (2000 sivua) muodollisten kielten käsikirja - opas muodollisten kielten teoriaan [11] .

Näihin kirjoihin viitattiin usein omilla aloillaan. Esimerkiksi kirja Formal Languages ​​vuonna 1991 oli 100 eniten siteeratun matematiikan tekstin joukossa [2] .

Palkinnot ja tunnustukset

Vuonna 1992 hänet valittiin Euroopan Akatemiaan [12] ja vuonna 1994 - Vuoden professoriksi [5] .

1998 - Nokia Foundation Award [13] .

1999 - Grazin teknillisen yliopiston kunniatohtori (Doctor Honoris Causa) [14] .

Salomaa sai Suomen Akatemian arvonimen vuonna 2001 [15] [16] .

Vuonna 2004 hän sai EATCS-palkinnon [17] .

Vuonna 2013 hän sai kunniatohtorin arvon (Doctor Honoris Causa) Länsi-Ontarion yliopistosta [18] .

2016 - Turun yliopiston emeritusprofessori [5] .

Vuonna 2018 Salomaa-palkinto perustettiin automaattien ja muodollisten kielten teoriassa [19] [20] [21] .

Henkilökohtainen elämä

Salomaa meni naimisiin vuonna 1959 [22] . Hänellä on kaksi lasta: Kirsty ja Kai Salomaa 22] , joista jälkimmäinen on tietojenkäsittelytieteen professori Queens Universityssä Kingstonissa ja työskentelee muodollisten kielten ja automaattiteorian parissa [23] .

Muistiinpanot

  1. ↑ Leidse Hoogleraren  (hollanti)
  2. ↑ 1 2 3 Karhumäki, J. Arto Salomaan lyhyt elämäkerta  (määrittämätön)  // Tietoa ja laskelmia . - 1991. - T. 151 . - S. 2-4 . - doi : 10.1006/inco.1998.2760 .
  3. ↑ Salomaa, A. Myhill, Turku ja Saunarunous: Muistelmia EATCS-palkinnosta  //  Bulletin of the European Association for Theoretical Computer Science  : aikakauslehti. - 2004. - Voi. 84 . - s. 12-15 .
  4. ↑ Salomaa, A. (1999), Tapahtumat ja kielet, Calude, CS, People and Ideas in Theoretical Computer Science , Springer , s. 253-273  .
  5. ↑ 1 2 3 Salomaa Arto . Haettu 7. heinäkuuta 2018. Arkistoitu alkuperäisestä 8. heinäkuuta 2018.
  6. ↑ Euroopan Akatemia: CV . Haettu 3. heinäkuuta 2018. Arkistoitu alkuperäisestä 8. heinäkuuta 2018.
  7. ↑ Brauer, Ute; Brauer, Wilfried. EATCS:n hopeinen juhlavuosi . EATCS (1997). Haettu 24. marraskuuta 2013. Arkistoitu alkuperäisestä 12. joulukuuta 2011.
  8. ↑ Euroopan akatemia: kirjat
  9. ↑ Euroopan akatemia: Julkaisut ennen vuotta 1990
  10. ↑ Euroopan akatemia: Julkaisut vuoden 1990 jälkeen
  11. ↑ Infante-Lopez, Gabriel. Grzegorz Rozenbergin ja Arto Salomaan  (englanniksi) katsaus muodollisten kielten käsikirjaan  // Journal of Logic, Language and Information : Journal. - 2005. - Voi. 14 , ei. 4 . - s. 457-466 . — .
  12. ↑ Euroopan Akatemia: Salomaa Arto . Haettu 3. heinäkuuta 2018. Arkistoitu alkuperäisestä 2. helmikuuta 2018.
  13. ↑ http://nokiafoundation.stage.rfistudios.com/wp-content/uploads/2016/01/historiikki-en-pdf.pdf (22-23)
  14. ↑ Ehrendoktoren der TU Graz (pääsemätön linkki) . Haettu 7. heinäkuuta 2018. Arkistoitu alkuperäisestä 6. heinäkuuta 2018. 
  15. ↑ Suomalaiset tiedeakatemikot - Suomen Akatemia . Haettu 7. heinäkuuta 2018. Arkistoitu alkuperäisestä 8. heinäkuuta 2018.
  16. ↑ Suomen Akatemia, arkistoitu kopio . Haettu 2. kesäkuuta 2014. Arkistoitu alkuperäisestä 29. maaliskuuta 2014. .
  17. ↑ van Leeuwen, Jan (2004), Erityinen saavutuspalkinto: EATCS Award 2004, Bulletin of the European Association for Theoretical Computer Science, osa 84: 10–11 
  18. ↑ Arto Salomaa - Tietojenkäsittelytiede - Länsi-yliopisto (linkki ei saatavilla) . Tietojenkäsittelytieteen laitos, Länsi-Ontarion yliopisto . Haettu 7. heinäkuuta 2018. Arkistoitu alkuperäisestä 8. heinäkuuta 2018.   .
  19. ↑ Automaattiteorian ja muodollisten kielten uusi Salomaan palkinto — Ehdokaskutsu (недоступная ссылка) . Дата обращения: 10. huhtikuuta 2020. Архивировано 20. maaliskuuta 2018 года. 
  20. ↑ Salomaa-palkinto  (pääsemätön linkki)
  21. ↑ Salomaa-palkinto - Automaattiteorian, muodollisten kielten ja niihin liittyvien aiheiden palkinto . Haettu 7. heinäkuuta 2018. Arkistoitu alkuperäisestä 1. joulukuuta 2018.
  22. ↑ 1 2 Salomaa, Arto Curriculum Vitae . Haettu 4. heinäkuuta 2018. Arkistoitu alkuperäisestä 5. heinäkuuta 2018. .
  23. ↑ Kai T. Salomaa . Queen's University . Haettu 21. huhtikuuta 2014. Arkistoitu alkuperäisestä 21. huhtikuuta 2014.

Linkit

  Siirry Wikidata-kohteeseen  Temaattiset sivustot
Sanakirjat ja tietosanakirjat