University of Waterloo
200 University Ave W, Waterloo, ON
N2L 3G1
Phone: (519) 888-4567
Staff and Faculty Directory
Contact the Department of Electrical and Computer Engineering
John Thistle is an Associate Professor and co-ordinator for the Master of Engineering Program 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.
University of Waterloo
200 University Ave W, Waterloo, ON
N2L 3G1
Phone: (519) 888-4567
Staff and Faculty Directory
Contact the Department of Electrical and Computer Engineering
The University of Waterloo acknowledges that much of our work takes place on the traditional territory of the Neutral, Anishinaabeg and Haudenosaunee peoples. Our main campus is situated on the Haldimand Tract, the land granted to the Six Nations that includes six miles on each side of the Grand River. Our active work toward reconciliation takes place across our campuses through research, learning, teaching, and community building, and is centralized within our Office of Indigenous Relations.