Richard Trefler
519-888-4567, ext. 37508
DC 2336


  • Ph.D., Computer Science, University of Texas at Austin (1999)
  • M.S., Computer Science, University of Texas at Austin (1994)
  • B.A., Economics and Philosophy, University of Toronto (1986)

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


Richard Trefler on DBPL