This profile is built from public research funding records (CIHR, NSERC and SSHRC). We have not imported them from a Queen's University directory, so their publications, courses and email address may be missing. Find their university profile.
Research
Latest funding
- $48,000
Descriptional Complexity and Applications of Formal Languages and Automata
NSERC · 2024 · Principal investigator
- $288,000
Finite-state machines and their extensions: Foundational questions and applications
NSERC · 2018 · Principal investigator
- $150,000
Automata with limited nondeterminism and applications of automata
NSERC · 2013 · Principal investigator
Descriptional Complexity and Applications of Formal Languages and Automata
Principal investigators: Salomaa, Kai
Keywords: finite state machines; state complexity; nondeterminism and alternation; visibly pushdown automata; algorithmic complexity; decidability and undecidability
Finite-state machines and their extensions: Foundational questions and applications
Principal investigators: Salomaa, Kai
Automata with limited nondeterminism and applications of automata
Principal investigators: Salomaa, Kai
Descriptional complexity of finite-state machines
Principal investigators: Salomaa, Kai
Automata, language operations and distance measures
Principal investigators: Salomaa, Kai
Automata and rewriting systems
Principal investigators: Salomaa, Kai
From CIHR, NSERC and SSHRC funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998, including their latest published competition results.
A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.