Richard Trefler

Degrees

• 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

Publications

Richard Trefler on DBPL