Арто Саломаа
Арто Саломаа | |
|---|---|
 Арто Саломаа в 2005 году. | |
| Рожденный | ( 1934-06-06 )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] Эти книги часто становились стандартными справочниками в своих областях. Например, в 1991 году «Формальные языки» вошли в число 100 наиболее цитируемых текстов по математике. [1]
Саломаа также опубликовал более 400 статей в научных журналах за время своей профессиональной карьеры. Он также является автором ненаучных статей, таких как «Что компьютерные специалисты должны знать о сауне». [6] После выхода на пенсию Арто Саломаа опубликовал еще около 100 научных статей.
Награды и признание
Саломаа был удостоен звания академика Финской академии , [ 7] [8] один из двенадцати ныне живущих финнов, удостоенных этого звания. Он также получил премию EATCS в 2004 году. [9] Саломаа получил семь почетных степеней. [9] 13 июня 2013 года Саломаа был удостоен звания почетного доктора Университета Западного Онтарио . [10]
Личная жизнь
Саломаа женился в 1959 году . [11] У него двое детей, Кирсти и Кай , [11] последний из которых является профессором компьютерных наук в Университете Квинс в Кингстоне , а также работает в области формальных языков и теории автоматов. [12]
Ссылки
- ^ abc Кархумяки, Дж. (1991). «Краткая биография Арто Саломаа». Информация и вычисления . 151 (1–2): 2–4. дои : 10.1006/inco.1998.2760 .
- ^ Саломаа, А. (2004). «Myhill, Turku и Sauna Poetry: Воспоминания о премии EATCS». Бюллетень Европейской ассоциации теоретической информатики . 84 : 12–15.
- ^ Саломаа, А. (1999), «События и языки», в Calude, CS (ред.), Люди и идеи в теоретической информатике , Springer , стр. 253–273.
- ^ Brauer, Ute; Brauer, Wilfried (1997). "Silver Jubilee of EATCS". EATCS. Архивировано из оригинала 12 декабря 2011 г. Получено 24 ноября 2013 г.
- ^ Инфанте-Лопес, Габриэль (2005). «Обзор Handbook of Formal Languages by Grzegorz Rozenberg and Arto Salomaa». Журнал логики, языка и информации . 14 (4): 457–466. JSTOR 40180402.
- ^ Саломаа, А. (1981). «Что компьютерные специалисты должны знать о сауне». Бюллетень Европейской ассоциации теоретической информатики . 15 : 8–21.
- ^ "Финские академики наук — Академия Финляндии". Архивировано из оригинала 2019-03-24 . Получено 2018-07-07 .
- ^ Академия Финляндии, "Академики | Академия Финляндии". Архивировано из оригинала 29.03.2014 . Получено 02.06.2014 ..
- ^ ab van Leeuwen, Jan (2004), «Премия за выдающиеся достижения: Премия EATCS 2004», Бюллетень Европейской ассоциации теоретической информатики , 84 : 10–11
- ^ "Arto Salomaa - Computer Science - Western University". Computer Science Department, University of Western Ontario . Архивировано из оригинала 2018-07-08 . Получено 2018-07-07 ..
- ^ аб Саломаа, Арто. "Резюме" . Проверено 4 июля 2018 г..
- ^ "Kai T. Salomaa". Queen's University . Архивировано из оригинала 21 апреля 2014 года . Получено 21 апреля 2014 года .
Внешние ссылки
- Арто Саломаа в проекте «Генеалогия математики»
- Домашняя страница Арто Саломаа
- Публикации Арто Саломаа, проиндексированные Microsoft Academic
