Tim Smith

School of Computer Science
University of Waterloo
Canada

Office: DC 3124

E-mail: timsmith@uwaterloo.ca

    Tim Smith

About Me

Update: As of September 2017, I am actively seeking a postdoctoral or other position. Inquiries are welcome.

I have recently completed an appointment as a postdoctoral researcher in the School of Computer Science at the University of Waterloo. My supervisor was Jeffrey Shallit.

Previously, 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.

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.

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

Instructor

Teaching Assistant

Student