John Thistle, PEng

Associate Professor

Contact information

Email: jthistle@uwaterloo.ca

Phone: 519-888-4567 x32910

Location: EIT 3113

Fax: 519-746-3077

Education

  • BSc, Queen's University
  • MASc, University of Toronto
  • PhD, University of Toronto

Research interests

  • Control of discrete event systems
  • Formal synthesis and verification of discrete event systems
  • Applications to software development
Affiliation: 
University of Waterloo

Profiles by type