Arto Salomaa - Arto Salomaa - Wikipedia

Arto Salomaa
C04 0272-ArtoSalomaa.edited.jpg
Arto Salomaa v roce 2005.
narozený (1934-06-06) 6. června 1934 (věk 86)
Turku, Finsko
NárodnostFinština
Alma materTurun Yliopisto
Vědecká kariéra
PoleMatematika
Počítačová věda
InstituceTurun Yliopisto
Doktorský poradceKustaa Inkeri
DoktorandiNeil D. Jones
Juhani Karhumäki
Jarkko Kari
Lila Kari
Paul Vitanyi

Arto K. Salomaa (narozen 6. června 1934) je a Finština matematik a počítačový vědec. Zaměřuje se na jeho výzkumnou kariéru, která trvá přes čtyřicet let formální jazyky a teorie automatů.

raný život a vzdělávání

Salomaa se narodil v Turku, Finsko 6. června 1934. Získal a Bakalářský titul z Univerzita v Turku v roce 1954 a PhD ze stejné univerzity v roce 1960. Salomaaův otec byl profesorem filozofie na Univerzita v Turku.[1] Salomaa byla seznámena s teorií automatů a formálních jazyků na seminářích v Berkeley dána John Myhill v roce 1957.[2]

Kariéra

V roce 1965 se Salomaa stala profesorem matematiky na Univerzita v Turku, z něhož odešel do důchodu v roce 1999. Dva roky koncem šedesátých let strávil také v University of Western Ontario v Londýn, Ontario, Kanada a dva roky v 70. letech v Aarhuská univerzita v Aarhus, Dánsko.[1][3]

Salomaa byl prezidentem Evropská asociace pro teoretickou informatiku od roku 1979 do roku 1985.[4]

Publikace

Salomaa je autorem nebo spoluautorem 46 učebnic, včetně „Teorie automatů " (1969), "Formální jazyky "(1973)," Matematická teorie L-systémy "(1980, s Grzegorz Rozenberg ), „Klenoty teorie formálního jazyka“ (1981) “Kryptografie veřejného klíče „(1990) a“Výpočet DNA "(1998, s Grzegorz Rozenberg a Gheorghe Paun ). S Rozenberg, Salomaa upravil „Handbook of Formal Languages“ (1997), třídílný, 2000stránkový odkaz na teorie formálního jazyka.[5] Tyto knihy se často staly standardními referencemi v příslušných oblastech. Například „formální jazyky“ byly v roce 1991 uváděny jako jeden ze 100 nejcitovanějších textů v matematice.[1]

Během své profesionální kariéry Salomaa také publikoval více než 400 článků ve vědeckých časopisech. Je autorem také nevědeckých článků jako „Co by počítačoví vědci měli vědět o sauně“.[6] Po svém odchodu do důchodu publikoval Arto Salomaa téměř dalších 100 vědeckých článků.

Ocenění a uznání

Salomaa získal titul Akademik podle Finská akademie,[7][8] jeden z dvanácti žijících finských jednotlivců získal titul. Také obdržel Cena EATCS v roce 2004.[9] Salomaa získala sedm čestných titulů.[9] Dne 13. června 2013 byla Salomaa udělena doktorka Honoris Causa z University of Western Ontario.[10]

Osobní život

Salomaa se vzala v roce 1959.[11] Má dvě děti, Kirsti a Kai,[11] druhý z nich je profesorem informatiky na Queen's University v Kingstonu a také pracuje v oblasti formálních jazyků a teorie automatů.[12]

Reference

  1. ^ A b C Karhumäki, J. (1991). "Krátká biografie Arto Salomaa". Informace a výpočet. 151 (1–2): 2–4. doi:10.1006 / inco.1998.2760.
  2. ^ Salomaa, A. (2004). „Myhill, Turku a Sauna Poetry: Vzpomínky vyplývající z ceny EATCS“. Bulletin Evropské asociace pro teoretickou informatiku. 84: 12–15.
  3. ^ Salomaa, A. (1999), „Události a jazyky“, Calude, C. S. (ed.), Lidé a myšlenky v teoretické informatice, Springer, str. 253–273.
  4. ^ Brauer, Ute; Brauer, Wilfried (1997). „Stříbrné jubileum EATCS“. EATCS. Archivováno z původního dne 12. prosince 2011. Citováno 24. listopadu 2013.
  5. ^ Infante-Lopez, Gabriel (2005). "Recenze Příručka formálních jazyků Grzegorz Rozenberg a Arto Salomaa “. Journal of Logic, Language and Information. 14 (4): 457–466. JSTOR  40180402.
  6. ^ Salomaa, A. (1981). "Co by počítačoví vědci měli vědět o sauně". Bulletin Evropské asociace teoretické informatiky. 15: 8–21.
  7. ^ Finští akademici vědy - Finská akademie
  8. ^ Finská akademie, „Archivovaná kopie“. Archivovány od originál dne 29.03.2014. Citováno 2014-06-02.CS1 maint: archivovaná kopie jako titul (odkaz).
  9. ^ A b van Leeuwen, Jan (2004), „Cena za vynikající výsledky: Cena EATCS 2004“, Bulletin Evropské asociace pro teoretickou informatiku, 84: 10–11
  10. ^ „Arto Salomaa - Výpočetní technika - Západní univerzita“. Oddělení informatiky, University of Western Ontario. Archivovány od originál dne 08.07.2018. Citováno 2018-07-07..
  11. ^ A b Salomaa, Arto. "Životopis". Citováno 2018-07-04..
  12. ^ „Kai T. Salomaa“. Queen's University. Archivováno od originálu 21. dubna 2014. Citováno 21. dubna 2014.

externí odkazy