John Thistle, PEng

John Thistle is an Associate Professor in the Department of Electrical and Computer Engineering at the University of Waterloo. He is currently a member of the Waterloo Formal Methods (WatForm) research group, which studies applications of formal methods in hardware design and software engineering.

Professor Thistle’s research interests include control of discrete event systems, formal synthesis and verification of discrete event systems, and applications to software development. He is also focusing on the decidability and complexity of the synthesis of centralized and distributed controllers. Potential applications occur not only in traditional control engineering areas but also, for example, in the design of distributed software systems.

• Control of discrete event systems, Formal synthesis, verification of discrete event systems, software development, Communication & Information Systems, Cybersecurity, Infrastructure integrity

• 1991, Doctorate PhD, University of Toronto, Ontario
• 1985, Master's MASc, University of Toronto, Ontario
• 1982, Bachelor's BSc, Queen's University, Ontario

• BME 356 - Control Systems
  • Taught in 2022, 2023, 2024
• ECE 108 - Discrete Mathematics and Logic 1
  • Taught in 2020
• ECE 208 - Discrete Mathematics and Logic 2
  • Taught in 2019, 2020, 2021, 2023
• MATH 213 - Signals, Systems, and Differential Equations
  • Taught in 2021
• MTE 481 - Mechatronics Engineering Design Project
  • Taught in 2023, 2024

* Only courses taught in the past 5 years are displayed.