Dr. John Thistle

Associate Professor

Build a Statement of Purpose

Generate a tailored SOP for Dr. John Thistle. Improve your application with a focused, well-structured draft.

Biography

John Thistle is an Associate Professor in the Department of Electrical and Computer Engineering at the University of Waterloo. He is a member of the Waterloo Formal Methods (WatForm) research group, focusing on the application of formal methods in hardware design and software engineering. His primary research interests include control of discrete event systems, formal synthesis and verification of systems, and software development, with particular attention to decidability and complexity in synthesizing both centralized and distributed controllers. His work finds applications in traditional control engineering as well as in the design of distributed software systems.

Research Interests

Control Discrete Event Systems Formal Synthesis Verification Discrete Event Systems Software Development Communication & Information Systems Cybersecurity Infrastructure Integrity

Courses

BME 356 - Control Systems ECE 108 - Discrete Mathematics Logic 1 ECE 208 - Discrete Mathematics Logic 2 ECE 380 - Analog Control Systems MATH 213 - Signals, Systems, Differential Equations MTE 481 - Mechatronics Engineering Design Project MTE 482 - Mechatronics Engineering Project

Requirements for University of Waterloo

Master Program
Requirements
GPA Requirement
Required:3
IELTS
Listening
Required:6.5
Reading
Required:6.5
Writing
Required:6.5
Speaking
Required:6.5
Overall
Required:7
TOEFL
Listening
Required:22
Reading
Required:22
Writing
Required:22
Speaking
Required:22
Total
Required:90
Prerequisites
Honours Bachelor's degree in Psychology or related field Strong background in Statistics
Application Checklist
  • Transcripts
  • 3 Academic References
  • Statement of Interest
  • Supplementary Information Form
  • Resume/CV
Specialization Notes

Includes fields like Clinical, Cognitive, Developmental, and Industrial/Organizational Psychology.