Salomaa, Arto

Arto Salomaa
fin. Arto Salomaa
Data nașterii 6 iunie 1934( 06.06.1934 ) [1] (88 de ani)
Locul nașterii
Țară
Sfera științifică matematică , informatică
Loc de munca Universitatea din Turku
Alma Mater Universitatea din Turku
Grad academic doctor în științe filozofice
consilier științific Kustaa Inkeri
Elevi Neil Jones
Juhani Karhumaki
Jarkko Kari
Leela Kari
Paul Vitani
Cunoscut ca matematician , specialist în limbajul fomal și teoria automatelor
Premii și premii Premiul Asociației Europene pentru Informatică Teoretică [d] ( 2004 ) Profesorul anului [d] ( 1993 ) Doctor onorific al Universității de Tehnologie din Graz [d] ( 1999 ) doctorat onorific al Universității din Szeged [d] ( 1989 ) doctor onorific al Universității din București [d] ( 1992 ) doctorat onorific de la Universitatea de Tehnologie din Graz [d]
Site-ul web math.utu.fi/projects/sta…
 Fișiere media la Wikimedia Commons

Arto Kustaa Salomaa ( finlandez Arto Kustaa Salomaa ; născut la 6 iunie 1934 , Turku , Finlanda ) este un matematician și informatician finlandez. Cercetările sale de peste 40 de ani au fost în limbaje formale și teoria automatelor .

Biografie

În 1954 a primit o diplomă de licență de la Universitatea din Turku , iar în 1960 un doctorat ( Doctor în Filosofie ). Tatăl său a fost profesor de filozofie la această universitate [2] .

Salomaa a fost introdusă în teoria automatelor și a limbajelor formale în timpul seminariilor lui John Myhill la Universitatea din California din Berkeley în 1957 [3] .

Din 1965 până în 1999 a fost profesor de matematică la Universitatea din Turku . Din 1966-1968 a predat la University of Western Ontario , din 1973-1975 la Aarhus University [2] [4] , iar din 1981-1982 la University of Waterloo [5] [6] .

Din 1979 până în 1985 Salomaa a fost președinte al Asociației Europene pentru Informatică Teoretică [7] .

Publicații

Salomaa a scris sau a fost coautor a 55 de cărți [8] , precum și a aproximativ 400 de publicații în reviste științifice [9] [10] .

Cărți principale:

Împreună cu Grzegorz Rozenberg, în 1997, a fost publicat un Manual de limbi formale în 3 volume (2000 de pagini) - un ghid pentru teoria limbilor formale [11] .

Aceste cărți au fost adesea citate în domeniile lor respective. De exemplu, cartea Limbi formale în 1991 a fost printre cele mai citate 100 de texte din matematică [2] .

Premii și recunoaștere

În 1992 a fost ales în Academia Europeană [12] , iar în 1994 – Profesor finlandez al anului [5] .

1998 - Premiul Fundației Nokia [13] .

1999 - Doctorat Onorific (Doctor Honoris Causa) la Universitatea de Tehnologie din Graz [14] .

Salomaa a primit titlul de Academician al Academiei Finlandei în 2001 [15] [16] .

În 2004 a primit premiul EATCS [17] .

În 2013, a primit un doctorat onorific (Doctor Honoris Causa) de la Universitatea din Western Ontario [18] .

2016 - Profesor emerit la Universitatea din Turku [5] .

În 2018, Premiul Salomaa a fost înființat în teoria automatelor și a limbajelor formale [19] [20] [21] .

Viața personală

Salomaa s-a căsătorit în 1959 [22] . Are doi copii: Kirsty și Kai Salomaa [22] , acesta din urmă este profesor de informatică la Universitatea Queens din Kingston și lucrează în limbaje formale și teoria automatelor [23] .

Note

  1. ↑ Leidse Hoogleraren  (olandeză)
  2. ↑ 1 2 3 Karhumäki, J. O scurtă biografie a lui Arto Salomaa  (nedefinită)  // Information and Computation . - 1991. - T. 151 . - S. 2-4 . - doi : 10.1006/inco.1998.2760 .
  3. ↑ Salomaa, A. Myhill, Turku and Sauna Poetry: Recollections arising from the EATCS Award  //  Bulletin of the European Association for Theoretical Computer Science  : journal. - 2004. - Vol. 84 . - P. 12-15 .
  4. ↑ Salomaa, A. (1999), Events and Languages, în Calude, CS, People and Ideas in Theoretical Computer Science , Springer , p. 253–273  .
  5. ↑ 1 2 3 Salomaa Arto . Preluat la 7 iulie 2018. Arhivat din original la 8 iulie 2018.
  6. ↑ Academia Europei: CV . Preluat la 3 iulie 2018. Arhivat din original la 8 iulie 2018.
  7. ↑ Brauer, Ute; Brauer, Wilfried. Jubileul de argint al EATCS . EATCS (1997). Consultat la 24 noiembrie 2013. Arhivat din original la 12 decembrie 2011.
  8. ↑ Academia Europei: Cărți
  9. ↑ Academia Europei: Publicații înainte de 1990
  10. ↑ Academia Europei: Publicații după 1990
  11. ↑ Infante-Lopez, Gabriel. Revizuirea Manualului Limbilor Formale de Grzegorz Rozenberg și Arto Salomaa  (engleză)  // Journal of Logic, Language, and Information : jurnal. - 2005. - Vol. 14 , nr. 4 . - P. 457-466 . — .
  12. ↑ Academia Europei: Salomaa Arto . Preluat la 3 iulie 2018. Arhivat din original pe 2 februarie 2018.
  13. ↑ http://nokiafoundation.stage.rfistudios.com/wp-content/uploads/2016/01/historiikki-en-pdf.pdf (22 - 23)
  14. ↑ Ehrendoktoren der TU Graz (link inaccesibil) . Preluat la 7 iulie 2018. Arhivat din original la 6 iulie 2018. 
  15. ↑ Academicieni finlandezi de știință - Academia Finlandei . Preluat la 7 iulie 2018. Arhivat din original la 8 iulie 2018.
  16. ↑ Academia Finlandei, copie arhivată . Preluat la 2 iunie 2014. Arhivat din original la 29 martie 2014. .
  17. ↑ van Leeuwen, Jan (2004), The distinguished achievement award: EATCS Award 2004, Buletinul Asociației Europene pentru Informatică Teoretică vol . 84: 10–11 
  18. ↑ Arto Salomaa - Computer Science - Western University (link indisponibil) . Departamentul de informatică, Universitatea de Vest Ontario . Preluat la 7 iulie 2018. Arhivat din original la 8 iulie 2018.   .
  19. ↑ Noul Premiu Salomaa pentru Teoria Automatelor și Limbaje Formale - Apel pentru nominalizări (downlink) . Preluat la 10 aprilie 2020. Arhivat din original la 20 mai 2018. 
  20. ↑ Premiul Salomaa  (link inaccesibil)
  21. ↑ Premiul Salomaa - Premiul în teoria automatelor, limbaje formale și subiecte conexe . Preluat la 7 iulie 2018. Arhivat din original la 1 decembrie 2018.
  22. ↑ 1 2 Salomaa, Arto Curriculum Vitae . Preluat la 4 iulie 2018. Arhivat din original la 5 iulie 2018. .
  23. ↑ Kai T. Salomaa . Universitatea Queen . Consultat la 21 aprilie 2014. Arhivat din original pe 21 aprilie 2014.

Link -uri

  Accesați articolul Wikidata  Site-uri tematice
Dicționare și enciclopedii