Kai Salomaa

Kai Salomaa
Born	Finland
Residence	Canada
Alma mater	University of Turku
Known for	formal language theory, state complexity
Scientific career
Fields	Automata theory
Institutions	Queen's University
Doctoral advisor	Magnus Steinby Ronald V. Book
Doctoral students	Michael Domaratzki Alexander Okhotin

Kai T. Salomaa 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).

Salomaa did his undergraduate studies at University of Turku, where he has earned his PhD degree in 1989; his dissertation was jointly supervised by Ronald V. Book and Magnus Steinby. In the 1990s, Salomaa worked at the University of Western Ontario. Since 1999, he holds a professor position at Queen's University.