R
Richard Trefler
Associate Professor
GradNova doesn't forward messages to faculty. To contact Richard Trefler, use the University of Waterloo website.
Research Interests
Application of Automated Reasoning Tools, Such as Model Checkers, to the Analysis of Reactive Systems, Including Computer Hardware and Software Systems; Embedded Systems; and Routing and Communication Protocols (of Particular Interest Are Compositional Reasoning and Abstraction Techniques for Coping With the State Explosion Problem in Model Checking)
Visual Notations for Describing Systems and Their Specifications; Automata on Infinite Objects; Temporal, Modal, and Description Logics; Internet-Based Routing and Communication Protocols; and Analysis of Parameterized Systems
Formal Methods in Verification
Logic, Programming, and Type Systems
Petri Nets in System Modeling
Software Testing and Debugging Techniques
Model-Driven Software Engineering Techniques
Academic Metrics
Links
Grants
Researching advisors with ChatGPT or Claude? Use GradNova in ChatGPT or Claude · Early access →
Considering this professor? Add them to your shortlist and get 2 professors checked by a person, free →