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

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

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

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

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

Умер 28 января 2025 года на 91-м году жизни^[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 году был издан 3-томник (2000 страниц) Handbook of Formal Languages — руководство по теории формальных языков^[12].

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

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

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

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

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

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

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

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

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

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