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
Biography
Richard Trefler is Associate Professor at the University of Waterloo, affiliated with Computer Science. This summary considered 2 collected sources. Listed research or teaching areas include 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.