Войти
| Кай Саломаа | |
|---|---|
 | |
| Родился |  Финляндия |
| Alma mater | Университет Турку |
| Известен | теорией формального языка, сложность состояния |
| Научная карьера | |
| Области | Теория автоматов |
| Учреждения | Королевский университет |
| Диссертация | Чередование и раскрывающиеся хранилища в вычислениях древовидных автоматов (1989) |
| Советник докторантуры |
|
Кай Т. Саломаа - финско-канадский ученый-теоретик, известный своим многочисленным вкладом в сложность состояния конечных автоматов. Его часто цитируемая совместная работа с Чжуаном и Чжуаном в 1994 году заложила основы этой области. Он опубликовал более 100 статей в научных журналах по различным темам в области теории формального языка. Саломаа - профессор Королевского университета (Кингстон, Онтарио ).
Саломаа учился на бакалавриате в Университете Турку, где получил докторскую степень. диплом 1989 г.; его диссертацией руководили Рональд В. Бук и Магнус Стейнби. В 1990-х Саломаа работала в Университете Западного Онтарио. С 1999 года он занимает должность профессора в Королевском университете. Его отец, Арто Саломаа, также является выдающимся компьютерным ученым, внесшим большой вклад в области теории автоматов и формальных языков.
