Richard Trefler
Associate Professor
Cheriton School of Computer Science
University of Waterloo
Canada
Biography
Dr. Richard Trefler is an Associate Professor in the Cheriton School of Computer Science, University of Waterloo, University Avenue West, Waterloo, ON, Canada.
Research Interest
Automated Analysis of Reactive Systems, Model Checking, Temporal Logic, Systems Specifications, Compositional Reasoning, Symmetry Reduction Hardware, software, and embedded systems are growing ever larger and more complex, and they are deployed all around us -- from network communications to cars to medical devices and avionics. Reliability is critical, errors are damaging and costly -- yet completely error-free, predictable operation is getting ever more challenging. How can we assure ourselves that these systems will operate as intended?
Publications
-
K. Namjoshi and Richard Trefler. On the Completeness of Compositional Reasoning Systems. ACM Transactions on Computational Logic (TOCL) Volume 11, Issue 3 (May 2010), Article No.: 16.
