Саломаа, Арто

В Википедии есть статьи о других людях с такой фамилией, см. Саломаа.

Арто Саломаа
фин. Arto Salomaa
Дата рождения	6 июня 1934(1934-06-06)[1][2]
Место рождения	Турку, Финляндия[2]
Дата смерти	26 января 2025(2025-01-26)[3][2] (90 лет)
Место смерти	Каухайоки, Южная Остроботния, Западная и Центральная Финляндия^[вд], Финляндия[2]
Страна	Финляндия
Род деятельности	математик, специалист в области информатики, преподаватель университета
Научная сфера	математика, информатика
Место работы	Университет Турку
Альма-матер	Университет Турку
Учёная степень	доктор философских наук
Научный руководитель	Кустаа Инкери^[фин.]
Ученики	Нил Джонс^[англ.] Юхани Кархумяки^[англ.] Яркко Кари Лила Кари^[англ.] Паул Витани
Известен как	математик, специалист по фомальному языку и теории автоматов
Награды и премии	премия Европейской ассоциации теоретической информатики^[вд] (2004) Профессор года^[вд] (1993) почётный доктор Грацского технического университета^[вд] (1999) почётный доктор Сегедского университета^[вд] (1989) почётный доктор Бухарестского университета^[вд] (1992) почётный доктор Грацского технического университета^[вд] премии Фонда Nokia^[вд]
Сайт	math.utu.fi/projects/sta…
Медиафайлы на Викискладе

А́рто Ку́стаа Са́ломаа (фин. Arto Kustaa Salomaa; 6 июня 1934[1][2], Турку[2] — 26 января 2025[3][2], Каухайоки, Западная и Центральная Финляндия^[вд][2]) — финский математик и информатик. Его исследования более 40 лет связаны с формальными языками и теорией автоматов.

Биография

В 1954 году получил степень бакалавра в Университете Турку, а в 1960 году — PhD (доктор философии). Его отец был профессором философии в этом университете[4].

Саломаа познакомился с теорией автоматов и формальных языков во время семинаров Джона Майхилла^[англ.] в Калифорнийском университете в Беркли в 1957 году[5].

С 1965 по 1999 год работал профессором математики в Университете Турку. В 1966—1968 годах преподавал в Университете Западного Онтарио, в 1973—1975 — в Орхусском университете[4][6], в 1981—1982 — в Университете Ватерлоо[7][8].

С 1979 по 1985 год Саломаа был президентом Европейской ассоциации теоретической информатики[9].

Публикации

Саломаа сам или в соавторстве написал 55 книг[10], а также порядка 400 публикаций в научных журналах[11][12].

Основные книги:

• Theory of Automata (1969),
• Formal Languages (1973),
• The Mathematical Theory of L-Systems (1980, с Гжегожем Розенбергом^[англ.]),
• Jewels of Formal Language Theory (1981),
  • Саломаа А. Жемчужины теории формальных языков / Перевод с английского А. А. Мучника под редакцией А. Л. Семенова. — М.: Мир, 1986. — 159 с.
• Public-Key Cryptography (1990, 1996),
  • Саломаа А. Криптография с открытым ключом: Пер. с англ. — М.: Мир, 1995. — 318 с., ил.
• Handbook of Formal Languages (1997, с Гжегожем Розенбергом),
• DNA Computing (1998, с Гжегожем Розенбергом и Георге Пеуном).

Вместе с Гжегожем Розенбергом в 1997 году был издан трёхтомник (2000 страниц) Handbook of Formal Languages — руководство по теории формальных языков[13].

Эти книги часто цитировались в соответствующих областях. Например, книга Formal Languages в 1991 году была в числе 100 наиболее цитируемых текстов по математике[4].

Награды и признание

В 1992 году был избран в Европейскую академию[14], а в 1994 году — профессором года Финляндии[7].

1998 год — Nokia Foundation Award[15].

1999 год — почётный доктор (Doctor Honoris Causa) в Грацском техническом университете[16].

Саломаа был удостоен звания академик Академии Финляндии в 2001 году[17][18].

В 2004 году он получил награду EATCS Award^[англ.][19].

В 2013 году получил степень почётного доктора (Doctor Honoris Causa) в Университете Западного Онтарио[20].

2016 год — эмерит-профессор в Университете Турку[7].

В 2018 году была учреждена премия Salomaa Prize в теории автоматов и формальных языков[21][22][23].

Личная жизнь и смерть

Саломаа женился в 1959 году[24]. У него двое детей: Кирсти и Кай Саломаа^[англ.][24], последний из которых является профессором компьютерных наук в Университете Куинс в Кингстоне и работает в области формальных языков и теории автоматов[25].

28 января 2025 года Исследовательский совет Финляндии сообщил в пресс-релизе, что Саломаа скончался. Ему было 90 лет[26].

Примечания

1. Leidse Hoogleraren (нидерл.)
2. Salomaa, Arto (1934 - 2025) // Kansallisbiografia (фин.) / под ред. M. Klinge — Suomalaisen Kirjallisuuden Seura, Suomen Historiallinen Seura. — ISSN 1799-4349
3. Arto Salomaa, Academician of Science, dies at 90 (англ.)
4. Karhumäki, J. A short biography of Arto Salomaa (неопр.) // Information and Computation^[англ.]. — 1991. — Т. 151. — С. 2—4. — doi:10.1006/inco.1998.2760.
5. 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.
6. Salomaa, A. (1999), "Events and Languages", in Calude, C. S. (ed.), People and Ideas in Theoretical Computer Science, Springer, pp. 253–273.
7. Salomaa Arto  (неопр.). Дата обращения: 7 июля 2018. Архивировано 8 июля 2018 года.
8. Academy of Europe: CV  (неопр.). Дата обращения: 3 июля 2018. Архивировано 8 июля 2018 года.
9. Brauer, Ute; Brauer, Wilfried.: . Silver Jubilee of EATCS  (неопр.). EATCS (1997). Дата обращения: 24 ноября 2013. Архивировано 12 декабря 2011 года.
10. Academy of Europe: Books
11. Academy of Europe: Publications before 1990
12. Academy of Europe: Publications after 1990
13. Infante-Lopez, Gabriel. Review of Handbook of Formal Languages by Grzegorz Rozenberg and Arto Salomaa (англ.) // Journal of Logic, Language, and Information : journal. — 2005. — Vol. 14, no. 4. — P. 457—466. — JSTOR 40180402.
14. Academy of Europe: Salomaa Arto  (неопр.). Дата обращения: 3 июля 2018. Архивировано 2 февраля 2018 года.
15. http://nokiafoundation.stage.rfistudios.com/wp-content/uploads/2016/01/historiikki-en-pdf.pdf (22 — 23)
16. Ehrendoktoren der TU Graz  (неопр.). Дата обращения: 7 июля 2018. Архивировано из оригинала 6 июля 2018 года.
17. Finnish Academicians of Science — Academy of Finland  (неопр.). Дата обращения: 7 июля 2018. Архивировано 8 июля 2018 года.
18. Academy of Finland, Archived copy  (неопр.). Дата обращения: 2 июня 2014. Архивировано 29 марта 2014 года..
19. van Leeuwen, Jan (2004), "The distinguished achievement award: EATCS Award 2004", Bulletin of the European Association for Theoretical Computer Science, 84: 10–11
20. Arto Salomaa - Computer Science - Western University  (неопр.). Computer Science Department, University of Western Ontario. Дата обращения: 7 июля 2018. Архивировано из оригинала 8 июля 2018 года..
21. New Salomaa Prize for Automata Theory and Formal Languages — Call for Nominations  (неопр.). Дата обращения: 10 апреля 2020. Архивировано из оригинала 20 мая 2018 года.
22. Salomaa Prize (недоступная ссылка)
23. Salomaa Prize — Prize in Automata Theory, Formal Languages and Related Topics  (неопр.). Дата обращения: 7 июля 2018. Архивировано 1 декабря 2018 года.
24. Salomaa, Arto. Curriculum Vitae  (неопр.). Дата обращения: 4 июля 2018. Архивировано 5 июля 2018 года..
25. Kai T. Salomaa  (неопр.). Queen's University. Дата обращения: 21 апреля 2014. Архивировано 21 апреля 2014 года.
26. Arto Salomaa, Academician of Science, dies at 90 (англ.). Research Council of Finland. Дата обращения: 28 января 2025.

Ссылки

• Саломаа, Арто (англ.) в проекте «Математическая генеалогия»
• math.utu.fi/projects/sta… — официальный сайт Арто Саломаа
• Arto Salomaa 80 — Arto Salomaa
• Academy of Europe: Salomaa Arto
• Academy of Europe: Interview
• Academy of Europe: A dialogue
• Academy of Europe: CV
• Academy of Europe: Publications
  • Academy of Europe: Books
  • Academy of Europe: Publications before 1990
  • Academy of Europe: Publications after 1990