Associate Professor
519-888-4567, ext. 37508
Location:
DC 2336
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
Link to Personal Website or CV:
Group(s):
Faculty→Professors
