Арто Саломаа - Arto Salomaa
Арто Саломаа | |
|---|---|
 Арто Саломаа в 2005 году.
| |
| Родившийся |
6 июня 1934 г. |
| Национальность | Финский |
| Альма-матер | Турун Илиописто |
| Научная карьера | |
| Поля |
Математика информатика |
| Учреждения | Турун Илиописто |
| Докторант | Кустаа Инкери |
| Докторанты |
Нил Д. Джонс Юхани Кархумаки Яркко Кари Лила Кари Пол Витани |
Арто К. Саломаа (родился 6 июня 1934 г.) - финский математик и ученый-компьютерщик . Его исследовательская карьера, длившаяся более сорока лет, сосредоточена на формальных языках и теории автоматов .
ранняя жизнь и образование
Саломаа родился в Турку , Финляндия, 6 июня 1934 года. Он получил степень бакалавра в Университете Турку в 1954 году и докторскую степень в том же университете в 1960 году. Отец Саломаа был профессором философии в Университете Турку . Саломаа познакомился с теорией автоматов и формальными языками на семинарах в Беркли, проведенных Джоном Майхиллом в 1957 году.
Карьера
В 1965 году Саломаа стал профессором математики в Университете Турку , с этой должности он ушел на пенсию в 1999 году. Он также провел два года в конце 1960-х в Университете Западного Онтарио в Лондоне , Онтарио , Канада , и два года в Университете Западного Онтарио в Лондоне , Онтарио , Канада. 1970-е годы в Орхусском университете в Орхусе , Дания .
Саломаа был президентом Европейской ассоциации теоретических компьютерных наук с 1979 по 1985 год.
Публикации
Саломаа является автором или соавтором 46 учебников, в том числе « Теория автоматов » (1969), « Формальные языки » (1973), «Математическая теория L-систем » (1980, с Гжегожем Розенбергом ), «Драгоценности формального языка». Теория »(1981),« Криптография с открытым ключом »(1990) и« ДНК-вычисления »(1998, с Гжегожем Розенбергом и Георге Пауном ). Вместе с Розенбергом Саломаа редактировала «Справочник по формальным языкам» (1997), трехтомный справочник по теории формального языка объемом 2000 страниц . Эти книги часто становятся стандартными справочными материалами в своих областях. Например, в 1991 г. сообщалось, что "Formal Languages" входит в число 100 наиболее цитируемых текстов по математике.
За свою профессиональную карьеру Саломаа также опубликовал более 400 статей в научных журналах. Он является автором также ненаучных статей, таких как «Что компьютерщики должны знать о сауне». После выхода на пенсию Арто Саломаа опубликовал еще почти 100 научных статей.
Награды и признание
Salomaa было присвоено звание академика по Академии Финляндии , один из двенадцати живых финских лиц присвоено звание. Он также получил премию EATCS в 2004 году. Саломаа получил семь почетных степеней. 13 июня 2013 года Саломаа была удостоена почетного доктора Университета Западного Онтарио .
Личная жизнь
Саломаа женился в 1959 году. У него двое детей, Кирсти и Кай , последний из которых является профессором компьютерных наук в Королевском университете в Кингстоне, а также работает в области формальных языков и теории автоматов.