Arto Salomaa - Arto Salomaa - Wikipedia
Arto Salomaa | |
---|---|
![]() Arto Salomaa v roce 2005. | |
narozený | |
Národnost | Finština |
Alma mater | Turun Yliopisto |
Vědecká kariéra | |
Pole | Matematika Počítačová věda |
Instituce | Turun Yliopisto |
Doktorský poradce | Kustaa Inkeri |
Doktorandi | Neil 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
- ^ 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.
- ^ 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.
- ^ Salomaa, A. (1999), „Události a jazyky“, Calude, C. S. (ed.), Lidé a myšlenky v teoretické informatice, Springer, str. 253–273.
- ^ 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.
- ^ 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.
- ^ 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.
- ^ Finští akademici vědy - Finská akademie
- ^ 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).
- ^ A b van Leeuwen, Jan (2004), „Cena za vynikající výsledky: Cena EATCS 2004“, Bulletin Evropské asociace pro teoretickou informatiku, 84: 10–11
- ^ „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..
- ^ A b Salomaa, Arto. "Životopis". Citováno 2018-07-04..
- ^ „Kai T. Salomaa“. Queen's University. Archivováno od originálu 21. dubna 2014. Citováno 21. dubna 2014.