Kai Salomaa
Kai Salomaa
Professor
School of Computing
Faculty of Arts and Science
Faculties & Schools
salomaa@queensu.ca
613 533-6073
Homepage
Google Scholar Profile
Office: Goodwin 545
ProfessorEveryone

Research Description

Doctor Kai Salomaa Research Interests includes:

  • Theory of computation
  • Descriptional complexity of automata and grammars 
  • State-complexity and transition complexity of finite automata, algorithms for automata operations and implementation 
  • Cellular automata, membrane computing 
  • Tree automata, nested word automata 
  • Nondeterminism measures for (pushdown) automata, complexity of parsing 
  • Language decompositions, trajectories, synchronization expressions

Current Teaching

CISC/CMPE-223: Software Specifications (Instructor)

https://www.cs.queensu.ca/undergraduate/courses/CISC-223

Selected Degrees

PhD (1989) – Doctor of PhilosophyUniversity of Turku

Biography

Kai T. Salomaa is a Finnish Canadian theoretical computer scientist, known for his numerous contributions to the state complexity of finite automata.[1][2][3][4][5] His highly cited 1994 joint paper with Yu and Zhuang[6] 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).