Арто Саломаа
Арто Саломаа | |
|---|---|
 Арто Саломаа в 2005 году. | |
| Рожденный | 6 июня 1934 г. |
| Национальность | финский |
| Альма-матер | Университет Турку |
| Научная карьера | |
| Поля | Математика Информатика |
| Учреждения | Университет Турку |
| Диссертация | О составе функций нескольких переменных, пробегающих конечное множество (1960) |
| Докторантура | Кустаа Инкери |
| Докторанты | Нил Д. Джонс Юхани Карумаки Яркко Кари Лила Кари Пол Витаньи |
Арто Кустаа Саломаа (родился 6 июня 1934 г.) — финский математик и ученый-компьютерщик . Его исследовательская карьера, охватывающая более сорока лет, сосредоточена на формальных языках и теории автоматов .
Молодость образование и
Саломаа родился в Турку , Финляндия , 6 июня 1934 года. Он получил степень бакалавра в Университете Турку в 1954 году и степень доктора философии в том же университете в 1960 году. Отец Саломаа был профессором философии в Университете Турку . [1] Саломаа познакомился с теорией автоматов и формальных языков во время семинаров в Беркли, проводимых Джоном Майхиллом в 1957 году. [2]
Карьера [ править ]
В 1965 году Саломаа стал профессором математики в Университете Турку , с этой должности он ушел в отставку в 1999 году. В конце 1960-х он также провел два года в Университете Западного Онтарио в Лондоне , Онтарио , Канада , и два года в Университете Западного Онтарио в Лондоне, Онтарио , Канада. 1970-е годы в Орхусском университете в Орхусе , Дания . [1] [3]
Саломаа был президентом Европейской ассоциации теоретической информатики с 1979 по 1985 год. [4]
Публикации [ править ]
Саломаа является автором или соавтором 46 учебников, в том числе «Теория автоматов» (1969), «Формальные языки» (1973), «Математическая теория L-систем» (1980, совместно с Гжегожем Розенбергом ), «Жемчужины теории формального языка 1981). » ( Криптография (1990) и вычисления ДНК (1998, с Гжегожем Розенбергом и Георге Пауном ). Вместе с Розенбергом Саломаа редактировал « Справочник по формальным языкам» (1997), трехтомный справочник на 2000 страниц по теории формального языка . [5] Эти книги часто становятся стандартными справочниками в своих областях. Например, «Формальные языки» вошли в число 100 наиболее цитируемых текстов по математике. в 1991 году сообщалось, что [1]
За свою профессиональную карьеру Саломаа также опубликовал более 400 статей в научных журналах. Он также является автором ненаучных статей, таких как «Что компьютерщики должны знать о сауне». [6] После выхода на пенсию Арто Саломаа опубликовал еще почти 100 научных статей.
Награды и признание [ править ]
Саломаа удостоена звания академика академии Финской . [7] [8] один из двенадцати ныне живущих финнов, удостоенных этого звания. Он также получил премию EATCS в 2004 году. [9] Саломаа получила семь почетных степеней. [9] 13 июня 2013 года Саломаа была удостоена звания почётного доктора Университета Западного Онтарио . [10]
Личная жизнь [ править ]
Саломаа вышла замуж в 1959 году. [11] У него двое детей, Кирсти и Кай . [11] последний из них является профессором компьютерных наук в Королевском университете в Кингстоне , а также работает в области формальных языков и теории автоматов. [12]
Ссылки [ править ]
- ↑ Перейти обратно: Перейти обратно: а б с Кархумяки, Дж. (1991). «Краткая биография Арто Саломаа» . Информация и вычисления . 151 (1–2): 2–4. дои : 10.1006/inco.1998.2760 .
- ^ Саломаа, А. (2004). «Майхилл, Турку и поэзия сауны: воспоминания о премии EATCS». Бюллетень Европейской ассоциации теоретической информатики . 84 : 12–15.
- ^ Саломаа, А. (1999), «События и языки», в Калуде, К.С. (редактор), « Люди и идеи в теоретической информатике» , Springer , стр. 253–273 .
- ^ Брауэр, Юте; Брауэр, Вильфрид (1997). «Серебряный юбилей EATCS» . ЕАТКС. Архивировано из оригинала 12 декабря 2011 года . Проверено 24 ноября 2013 г.
- ^ Инфанте-Лопес, Габриэль (2005). «Обзор справочника по формальным языкам Гжегожа Розенберга и Арто Саломаа». Журнал логики, языка и информации . 14 (4): 457–466. JSTOR 40180402 .
- ^ Саломаа, А. (1981). «Что компьютерщики должны знать о сауне». Бюллетень Европейской ассоциации теоретической информатики . 15 :8–21.
- ^ «Финские академики наук — Академия Финляндии» . Архивировано из оригинала 24 марта 2019 г. Проверено 7 июля 2018 г.
- ^ Академия Финляндии, «Академики | Академия Финляндии» . Архивировано из оригинала 29 марта 2014 г. Проверено 2 июня 2014 г. .
- ↑ Перейти обратно: Перейти обратно: а б ван Леувен, январь (2004 г.), «Награда за выдающиеся достижения: премия EATCS 2004», Бюллетень Европейской ассоциации теоретической информатики , 84 : 10–11.
- ^ «Арто Саломаа – Информатика – Западный университет» . Факультет компьютерных наук Университета Западного Онтарио . Архивировано из оригинала 8 июля 2018 г. Проверено 7 июля 2018 г. .
- ↑ Перейти обратно: Перейти обратно: а б Саломея, Арто. «Учебная программа жизни» . Проверено 4 июля 2018 г. .
- ^ «Кай Т. Саломаа» . Королевский университет . Архивировано из оригинала 21 апреля 2014 года . Проверено 21 апреля 2014 г.
Внешние ссылки [ править ]
- 1934 рождения
- Живые люди
- Люди из Турку
- Выпускники Университета Турку
- Академический состав Университета Турку
- Академический состав Университета Западного Онтарио
- Академический состав Орхусского университета
- Финские математики
- Финские ученые-компьютерщики
- Члены Финской академии наук и литературы
- Члены Европейской академии