Interested Article - Саломаа, Арто

ainsleigh
  • 2021-11-13
  • 1

А́рто Ку́стаа Са́ломаа ( фин. Arto Kustaa Salomaa ; род. 6 июня 1934 , Турку , Финляндия ) — финский математик и информатик. Его исследования более 40 лет связаны с формальными языками и теорией автоматов .

Биография

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

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

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

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

Публикации

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

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

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

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

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

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

1998 год — Nokia Foundation Award .

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

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

В 2004 году он получил награду .

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

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

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

Личная жизнь

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

Примечания

  1. (нидерл.)
  2. ↑ Karhumäki, J. A short biography of Arto Salomaa (неопр.) // . — 1991. — Т. 151 . — С. 2—4 . — doi : .
  3. Salomaa, A. Myhill, Turku and Sauna Poetry: Recollections arising from the EATCS Award (англ.) // : journal. — 2004. — Vol. 84 . — P. 12—15 .
  4. Salomaa, A. (1999), "Events and Languages", in Calude, C. S. (ed.), People and Ideas in Theoretical Computer Science , Springer , pp. 253—273 .
  5. ↑ . Дата обращения: 7 июля 2018. 8 июля 2018 года.
  6. . Дата обращения: 3 июля 2018. 8 июля 2018 года.
  7. Brauer, Ute; Brauer, Wilfried.: . EATCS (1997). Дата обращения: 24 ноября 2013. 12 декабря 2011 года.
  11. 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 .
  12. . Дата обращения: 3 июля 2018. 2 февраля 2018 года.
  14. . Дата обращения: 7 июля 2018. Архивировано из 6 июля 2018 года.
  15. . Дата обращения: 7 июля 2018. 8 июля 2018 года.
  16. Academy of Finland, . Дата обращения: 2 июня 2014. 29 марта 2014 года. .
  17. van Leeuwen, Jan (2004), "The distinguished achievement award: EATCS Award 2004", Bulletin of the European Association for Theoretical Computer Science , 84 : 10—11
  18. . Computer Science Department, University of Western Ontario . Дата обращения: 7 июля 2018. Архивировано из 8 июля 2018 года. .
  19. . Дата обращения: 10 апреля 2020. Архивировано из 20 мая 2018 года.
  20. (недоступная ссылка)
  21. . Дата обращения: 7 июля 2018. 1 декабря 2018 года.
  22. ↑ Salomaa, Arto . Дата обращения: 4 июля 2018. 5 июля 2018 года. .
  23. . Queen's University . Дата обращения: 21 апреля 2014. 21 апреля 2014 года.

Ссылки

Источник —

ainsleigh
  • 2021-11-13
  • 1
  • Tags:

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

The title for the last searches