Kai Salomaa
Kai Salomaa | |
|---|---|
| Born | 9 February 1960 |
| Alma mater | University of Turku |
| Known for | |
| Scientific career | |
| Fields | Automata theory |
| Institutions | Queen's University |
| Thesis | Alternation and Pushdown Stores in Computations of Tree Automata (1989) |
| Doctoral advisor |
|
Kai Tapani Salomaa (born 9 February 1960) is a Finnish Canadian theoretical computer scientist, known for his numerous contributions to the state complexity of finite automata. His highly cited 1994 joint paper with Yu and Zhuang laid the foundations of the area. He has published over 100 papers in scientific journals on various subjects in formal language theory. Salomaa is a full professor at Queen's University (Kingston, Ontario).