I am moving to here (page under construction).
You will be redirected in 10 sec. to there.
This web page will be kept alive until my move is complete and the new web page construction is complete.

Research Interests:
  • Formal Semantics and Concurrency Theory
    (e.g., Structural Operational Semantics and Process Algebras)
  • Applications of Formal Methods in System Design
    (e.g., Formal Specification, Model Checking and Model-Based Testing)
  • Models of Computation for Embedded Systems
    (e.g., Dataflow Models and Synchronous Languages)

An accessible summary of my research interests:

Created: 24 Oct. 2001
Last modified: 1 Aug. 2012

Valid XHTML 1.1