Tim Smith

E-mail: timsmith3@gmail.com

    Tim Smith

About Me

I am currently employed as a software engineer in the Seattle area. See below for my academic background and links to my published research. I also have a portfolio of various projects I have undertaken. Inquiries are welcome.

My research has explored infinite words (symbolic sequences) and their relationships with formal languages and automata. More broadly, I am interested in formal languages, automata, and theoretical computer science generally, as well as other topics including prediction/classification, ranking/rating systems, game/decision theory, and automated proof checking.

From 2016 to 2017, I was a postdoctoral researcher in the School of Computer Science at the University of Waterloo. My supervisor was Jeffrey Shallit.

From 2015 to 2016, I was a postdoctoral researcher in the Laboratoire d'Informatique Gaspard-Monge at Université Paris-Est Marne-la-Vallée. My supervisor was Dominique Perrin.

I received my Ph.D. in Computer Science from Northeastern University in May 2015. My advisor was Rajmohan Rajaraman. I received my MSc in Computer Science from The University of Auckland and my B.S. in Computer Science from Clemson University.

Journal Publications

Conference Publications


Teaching Assistant