Это статья о человеке, который недавно умер. Информация об обстоятельствах смерти человека может быстро меняться по мере того, как эти факты становятся известны. Если в эту статью внесены деструктивные правки, пожалуйста, обратитесь к администраторам. Шаблон следует убрать из статьи не позднее 10 дней после смерти человека.

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

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

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

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

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

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

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

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

• 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 — руководство по теории формальных языков^[12].

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

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

1998 год — Nokia Foundation Award^[14].

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

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

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

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

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

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

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

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

• Саломаа, Арто (англ.) в проекте «Математическая генеалогия»
• 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