WikiDer > Arto Salomaa - Vikipediya
Arto Salomaa | |
---|---|
![]() Arto Salomaa 2005 yilda. | |
Tug'ilgan | |
Millati | Finlyandiya |
Olma mater | Turun Yliopisto |
Ilmiy martaba | |
Maydonlar | Matematika Kompyuter fanlari |
Institutlar | Turun Yliopisto |
Doktor doktori | Kustaa Inkeri |
Doktorantlar | Nil D. Jons Juhani Karxumaki Jarkko Kari Lila Kari Pol Vitanyi |
Arto K. Salomaa (1934 yil 6-iyunda tug'ilgan) - bu a Finlyandiya matematik va kompyutershunos. Uning qirq yildan ortiq davom etadigan ilmiy faoliyati yo'naltirilgan rasmiy tillar va avtomatlar nazariyasi.
Dastlabki hayot va ta'lim
Salomaa tug'ilgan Turku, Finlyandiya 1934 yil 6-iyunda Bakalavr darajasi dan Turku universiteti 1954 yilda va a PhD 1960 yilda o'sha universitetdan. Salomaning otasi falsafa professori bo'lgan Turku universiteti.[1] Salomaa avtomatika nazariyasi va rasmiy tillar bilan seminarlarda tanishdi Berkli tomonidan berilgan Jon Myhill 1957 yilda.[2]
Karyera
1965 yilda Salomaa matematika professori bo'ldi Turku universiteti, 1999 yildan nafaqaga chiqqan. Shuningdek, u 1960 yillarning oxirlarida ikki yil o'tkazgan G'arbiy Ontario universiteti yilda London, Ontario, Kanadava 1970-yillarda ikki yil Orxus universiteti yilda Orxus, Daniya.[1][3]
Salomaa prezident edi Nazariy kompyuter fanlari bo'yicha Evropa assotsiatsiyasi 1979 yildan 1985 yilgacha.[4]
Nashrlar
Salomaa 46 ta darslik muallifi yoki hammuallifi, shu jumladan "Avtomatika nazariyasi" (1969), "Rasmiy tillar"(1973)," ning matematik nazariyasi L tizimlari"(1980, bilan Grzegorz Rozenberg), "Rasmiy til nazariyasi javohirlari" (1981) "Ochiq kalitli kriptografiya"(1990) va"DNKni hisoblash"(1998, bilan.) Grzegorz Rozenberg va Georgiy Paun). Bilan Rozenberg, Salomaa "Rasmiy tillar uchun qo'llanma" ni tahrir qildi (1997), 3 jildli, 2000 betlik ma'lumotnoma rasmiy til nazariyasi.[5] Ushbu kitoblar ko'pincha o'z sohalarida standart ma'lumotlarga aylandi. Masalan, "Rasmiy tillar" 1991 yilda matematikada 100 ta eng ko'p keltirilgan matnlar qatoriga kirgani haqida xabar berilgan edi.[1]
Salomaa o'zining professional faoliyati davomida ilmiy jurnallarda 400 dan ortiq maqolalarini nashr etdi. Shuningdek, u "Sauna haqida kompyuter olimlari nimalarni bilishi kerak" kabi ilmiy bo'lmagan maqolalarni ham yozgan.[6] Arto Salomaa nafaqaga chiqqanidan keyin yana 100 ga yaqin ilmiy maqolalarini nashr etdi.
Mukofotlar va e'tirof
Salomaa unvoniga sazovor bo'ldi Akademik tomonidan Finlyandiya akademiyasi,[7][8] bu unvonga sazovor bo'lgan o'n ikki tirik fin shaxslaridan biri. U shuningdek qabul qildi EATCS mukofoti 2004 yilda.[9] Salomaa yettita faxriy darajani oldi.[9] 2013 yil 13-iyun kuni Salomaa doktor Honoris Causa tomonidan taqdirlandi G'arbiy Ontario universiteti.[10]
Shaxsiy hayot
Salomaa 1959 yilda turmushga chiqdi.[11] Uning Kirsti va ismli ikkita farzandi bor Qay,[11] ikkinchisi - kompyuter fanlari professori Kingstondagi Qirolichaning universiteti shuningdek rasmiy tillar va avtomatika nazariyasi sohasida ishlaydi.[12]
Adabiyotlar
- ^ a b v Karxumaki, J. (1991). "Arto Salomaaning qisqacha tarjimai holi". Axborot va hisoblash. 151 (1–2): 2–4. doi:10.1006 / inco.1998.2760.
- ^ Salomaa, A. (2004). "Myhill, Turku va Sauna she'riyati: EATCS mukofotidan kelib chiqqan esdaliklar". Nazariy kompyuter fanlari bo'yicha Evropa assotsiatsiyasining Axborotnomasi. 84: 12–15.
- ^ Salomaa, A. (1999), "Voqealar va tillar", Klodda, C. S. (tahr.), Nazariy kompyuter fanida odamlar va g'oyalar, Springer, 253-273 betlar.
- ^ Brauer, Ute; Brauer, Uilfrid (1997). "EATCS ning kumush yubileyi". EATCS. Arxivlandi asl nusxasidan 2011 yil 12 dekabrda. Olingan 24-noyabr, 2013.
- ^ Infante-Lopez, Gabriel (2005). "Sharh Rasmiy tillar bo'yicha qo'llanma Grzegorz Rozenberg va Arto Salomaa tomonidan ". Mantiq, til va ma'lumotlar jurnali. 14 (4): 457–466. JSTOR 40180402.
- ^ Salomaa, A. (1981). "Sauna haqida kompyuter olimlari nimalarni bilishlari kerak". Evropa nazariy kompyuter fanlari assotsiatsiyasi byulleteni. 15: 8–21.
- ^ Finlyandiya fan akademiklari - Finlyandiya akademiyasi
- ^ Finlyandiya akademiyasi, "Arxivlangan nusxa". Arxivlandi asl nusxasi 2014-03-29. Olingan 2014-06-02.CS1 maint: nom sifatida arxivlangan nusxa (havola).
- ^ a b van Liuen, yanvar (2004), "Ajoyib yutuq mukofoti: EATCS Award 2004", Nazariy kompyuter fanlari bo'yicha Evropa assotsiatsiyasining Axborotnomasi, 84: 10–11
- ^ "Arto Salomaa - informatika - G'arbiy universitet". Kompyuter fanlari bo'limi, G'arbiy Ontario universiteti. Arxivlandi asl nusxasi 2018-07-08 da. Olingan 2018-07-07..
- ^ a b Salomaa, Arto. "Tarjimai hol". Olingan 2018-07-04..
- ^ "Kay T. Salomaa". Qirolicha universiteti. Arxivlandi asl nusxasidan 2014 yil 21 aprelda. Olingan 21 aprel, 2014.