John Thistle, PEng
Biography
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.
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.
Research Interests
- Control of discrete event systems, Formal synthesis, verification of discrete event systems, software development, Communication & Information Systems, Cybersecurity, Infrastructure integrity
Education
- 1991, Doctorate PhD, University of Toronto, Ontario
- 1985, Master's MASc, University of Toronto, Ontario
- 1982, Bachelor's BSc, Queen's University, Ontario
Teaching*
- BME 356 - Control Systems
- Taught in 2024
- MTE 481 - Mechatronics Engineering Design Project
- Taught in 2024
* Only courses taught in the past 5 years are displayed.
Graduate studies
- Currently considering applications from graduate students. A completed online application is required for admission; start the application process now.