Это не официальный сайт wikipedia.org 01.01.2023

Саломаа, Арто — Википедия
Википедия

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

(перенаправлено с «Арто Саломаа»)
В Википедии есть статьи о других людях с такой фамилией, см. Саломаа.

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

Арто Саломаа
фин. Arto Salomaa
C04 0272-ArtoSalomaa.edited.jpg
Дата рождения 6 июня 1934(1934-06-06)[1] (88 лет)
Место рождения
Страна
Научная сфера математика, информатика
Место работы Университет Турку
Альма-матер Университет Турку
Учёная степень доктор философских наук
Научный руководитель Кустаа Инкери[fi]
Ученики Нил Джонс[en]
Юхани Кархумяки[en]
Яркко Кари
Лила Кари[en]
Паул Витани
Известен как математик, специалист по фомальному языку и теории автоматов
Награды и премии
Сайт math.utu.fi/projects/sta…
Логотип Викисклада Медиафайлы на Викискладе

БиографияПравить

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

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

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

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

ПубликацииПравить

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

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

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

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

Награды и признаниеПравить

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

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

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

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

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

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

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

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

Личная жизньПравить

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

ПримечанияПравить

  1. ↑ Leidse Hoogleraren (нидерл.)
  2. ↑ 1 2 3 Karhumäki, J. A short biography of Arto Salomaa (неопр.) // Information and Computation[en]. — 1991. — Т. 151. — С. 2—4. — doi:10.1006/inco.1998.2760.
  3. ↑ Salomaa, A. Myhill, Turku and Sauna Poetry: Recollections arising from the EATCS Award (англ.) // Bulletin of the European Association for Theoretical Computer Science[en] : journal. — 2004. — Vol. 84. — P. 12—15.
  4. ↑ Salomaa, A. (1999), Events and Languages, in Calude, C. S., People and Ideas in Theoretical Computer Science, Springer, с. 253–273 .
  5. ↑ 1 2 3 Salomaa Arto  (неопр.). Дата обращения: 7 июля 2018. Архивировано 8 июля 2018 года.
  6. ↑ Academy of Europe: CV  (неопр.). Дата обращения: 3 июля 2018. Архивировано 8 июля 2018 года.
  7. ↑ Brauer, Ute; Brauer, Wilfried.: Silver Jubilee of EATCS  (неопр.). EATCS (1997). Дата обращения: 24 ноября 2013. Архивировано 12 декабря 2011 года.
  8. ↑ Academy of Europe: Books
  9. ↑ Academy of Europe: Publications before 1990
  10. ↑ Academy of Europe: Publications after 1990
  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 40180402.
  12. ↑ Academy of Europe: Salomaa Arto  (неопр.). Дата обращения: 3 июля 2018. Архивировано 2 февраля 2018 года.
  13. ↑ http://nokiafoundation.stage.rfistudios.com/wp-content/uploads/2016/01/historiikki-en-pdf.pdf (22 — 23)
  14. ↑ Ehrendoktoren der TU Graz  (неопр.). Дата обращения: 7 июля 2018. Архивировано из оригинала 6 июля 2018 года.
  15. ↑ Finnish Academicians of Science — Academy of Finland  (неопр.). Дата обращения: 7 июля 2018. Архивировано 8 июля 2018 года.
  16. ↑ Academy of Finland, Archived copy  (неопр.). Дата обращения: 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. ↑ Arto Salomaa - Computer Science - Western University  (неопр.). Computer Science Department, University of Western Ontario. Дата обращения: 7 июля 2018. Архивировано из оригинала 8 июля 2018 года..
  19. ↑ New Salomaa Prize for Automata Theory and Formal Languages — Call for Nominations  (неопр.). Дата обращения: 10 апреля 2020. Архивировано из оригинала 20 мая 2018 года.
  20. ↑ Salomaa Prize (недоступная ссылка)
  21. ↑ Salomaa Prize — Prize in Automata Theory, Formal Languages and Related Topics  (неопр.). Дата обращения: 7 июля 2018. Архивировано 1 декабря 2018 года.
  22. ↑ 1 2 Salomaa, Arto Curriculum Vitae  (неопр.). Дата обращения: 4 июля 2018. Архивировано 5 июля 2018 года..
  23. ↑ Kai T. Salomaa  (неопр.). Queen's University. Дата обращения: 21 апреля 2014. Архивировано 21 апреля 2014 года.

СсылкиПравить

Источник — https://ru.wikipedia.org/w/index.php?title=Саломаа,_Арто&oldid=129280401