WikiSort.ru - Не сортированное

ПОИСК ПО САЙТУ | о проекте
Арто Саломаа
Arto Salomaa

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

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

Биография

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

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

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

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

Публикации

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

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

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

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

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

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

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

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

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

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

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

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

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

Личная жизнь

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

Примечания

  1. 1 2 3 Karhumäki, J. (1991). “A short biography of Arto Salomaa”. Information and Computation[en]. 151: 2—4. DOI:10.1006/inco.1998.2760.
  2. ↑ Salomaa, A. (2004). “Myhill, Turku and Sauna Poetry: Recollections arising from the EATCS Award”. Bulletin of the European Association for Theoretical Computer Science[en]. 84: 12—15.
  3. ↑ Salomaa, A. (1999), "Events and Languages", in Calude, C. S., People and Ideas in Theoretical Computer Science, Springer, с. 253–273.
  4. 1 2 3 Salomaa Arto
  5. ↑ Academy of Europe: CV
  6. ↑ Silver Jubilee of EATCS. EATCS (1997). Проверено 24 ноября 2013. Архивировано 12 декабря 2011 года.
  7. ↑ Academy of Europe: Books
  8. ↑ Academy of Europe: Publications before 1990
  9. ↑ Academy of Europe: Publications after 1990
  10. ↑ Infante-Lopez, Gabriel (2005). “Review of Handbook of Formal Languages by Grzegorz Rozenberg and Arto Salomaa”. Journal of Logic, Language, and Information. 14 (4): 457—466. JSTOR 40180402.
  11. ↑ Academy of Europe: Salomaa Arto
  12. ↑ http://nokiafoundation.stage.rfistudios.com/wp-content/uploads/2016/01/historiikki-en-pdf.pdf (22 — 23)
  13. ↑ Ehrendoktoren der TU Graz
  14. ↑ Finnish Academicians of Science — Academy of Finland
  15. ↑ Academy of Finland, Archived copy. Проверено 2 июня 2014. Архивировано 29 марта 2014 года..
  16. ↑ van Leeuwen, Jan (2004), "The distinguished achievement award: EATCS Award 2004", Bulletin of the European Association for Theoretical Computer Science Т. 84: 10–11
  17. ↑ Arto Salomaa - Computer Science - Western University. Computer Science Department, University of Western Ontario. Проверено 7 июля 2018..
  18. ↑ New Salomaa Prize for Automata Theory and Formal Languages — Call for Nominations
  19. ↑ Salomaa Prize
  20. ↑ Salomaa Prize — Prize in Automata Theory, Formal Languages and Related Topics
  21. 1 2 Salomaa, Arto Curriculum Vitae. Проверено 4 июля 2018..
  22. ↑ Kai T. Salomaa. Queen's University. Проверено 21 апреля 2014. Архивировано 21 апреля 2014 года.

Ссылки

Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".

Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.

Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .



Текст в блоке "Читать" взят с сайта "Википедия" и доступен по лицензии Creative Commons Attribution-ShareAlike; в отдельных случаях могут действовать дополнительные условия.

Другой контент может иметь иную лицензию. Перед использованием материалов сайта WikiSort.ru внимательно изучите правила лицензирования конкретных элементов наполнения сайта.

2019-2025
WikiSort.ru - проект по пересортировке и дополнению контента Википедии