Арто К. Саломаа (родился 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 г. сообщалось, что «Formal Languages» входит в число 100 наиболее цитируемых текстов по математике. [1]
За свою профессиональную карьеру Саломаа также опубликовал более 400 статей в научных журналах. Он является автором также ненаучных статей, таких как «Что компьютерщики должны знать о сауне». [6] После выхода на пенсию Арто Саломаа опубликовал еще почти 100 научных статей.
Награды и признание
Salomaa было присвоено звание академика по Академии Финляндии , [7] [8] один из двенадцати живых финских лиц присвоено звание. Он также получил премию EATCS в 2004 году. [9] Саломаа получил семь почетных степеней. [9] 13 июня 2013 года Саломаа была удостоена почетного доктора Университета Западного Онтарио . [10]
Личная жизнь
Саломаа женился в 1959 году. [11] У него двое детей, Кирсти и Кай , [11] последний из которых является профессором компьютерных наук в Королевском университете в Кингстоне, а также работает в области формальных языков и теории автоматов. [12]
Рекомендации
- ^ a b c Кархумаки Дж. (1991). «Краткая биография Арто Саломаа». Информация и вычисления . 151 (1–2): 2–4. DOI : 10.1006 / inco.1998.2760 .
- ^ Саломаа, А. (2004). «Майхилл, Турку и поэзия сауны: воспоминания о премии EATCS». Бюллетень Европейской ассоциации теоретической информатики . 84 : 12–15.
- ^ Salomaa, A. (1999), «События и языки», в Calude, CS (редактор), Люди и идеи в теоретической информатике , Springer , стр. 253–273..
- ^ Брауэр, Юте; Брауэр, Вильфрид (1997). «Серебряный юбилей EATCS» . EATCS. Архивировано 12 декабря 2011 года . Проверено 24 ноября 2013 года . CS1 maint: обескураженный параметр ( ссылка )
- ^ Инфанте-Лопес, Габриэль (2005). "Обзор справочника формальных языков Гжегожа Розенберга и Арто Саломаа". Журнал логики, языка и информации . 14 (4): 457–466. JSTOR 40180402 .
- ^ Саломаа, А. (1981). «Что компьютерщики должны знать о сауне». Бюллетень Европейской ассоциации теоретической информатики . 15 : 8–21.
- ^ Финские академики наук - Академия наук Финляндии
- ^ Академия Финляндии, «Архивная копия» . Архивировано из оригинала на 2014-03-29 . Проверено 2 июня 2014 . CS1 maint: не рекомендуется параметр ( ссылка ) CS1 maint: заархивированная копия как заголовок ( ссылка ).
- ^ а б ван Леувен, Ян (2004 г.), «Премия за выдающиеся достижения: Премия EATCS 2004», Бюллетень Европейской ассоциации теоретической информатики , 84 : 10–11 CS1 maint: обескураженный параметр ( ссылка )
- ^ «Арто Саломаа - Компьютерные науки - Западный университет» . Департамент компьютерных наук, Университет Западного Онтарио . Архивировано из оригинала на 2018-07-08 . Проверено 7 июля 2018 . CS1 maint: обескураженный параметр ( ссылка ).
- ^ а б Саломаа, Арто. "Биографическая справка" . Проверено 4 июля 2018 . CS1 maint: обескураженный параметр ( ссылка ).
- ^ "Кай Т. Саломаа" . Королевский университет . Архивировано 21 апреля 2014 года . Проверено 21 апреля 2014 года . CS1 maint: обескураженный параметр ( ссылка )
Внешние ссылки
- Арто Саломаа на проекте « Математическая генеалогия»
- Домашняя страница Арто Саломаа
- Список публикаций от Microsoft Academic