Taylor J. Smith

Photo of Taylor

About Me

Hello world! I am a theoretical computer scientist and PhD candidate in the School of Computing at Queen’s University working with Kai Salomaa. I am a member of the Formal Languages and Automata Theory group.

If you would like to learn more about me, you can read my biography or download my CV.


My primary research interests include formal languages and automata theory (particularly in two dimensions), combinatorics on words (particularly in two dimensions), and computability/complexity theory. I have secondary interests in analysis of algorithms and coding theory.

For more about my research, see my list of publications or my list of presentations and seminars.


I am not teaching or assisting with any courses in the Spring 2020 term.

For more about my teaching, visit my past course websites or download my teaching portfolio.



School of Computing
Queen’s University
25 Union Street W
Kingston, Ontario
Canada  K7L 2N8


Goodwin Hall, Room 456


tsmith at cs dot queensu dot ca