next up previous
Next: Academic Employment Up: Curriculum Vitae Pao-Ann Hsiung Previous: Education

Research Interests

Theory Formal Verification of Concurrent Real-Time Systems,
  Hardware-Software Coverification,
  Petri Net Analysis of Hardware Synthesis
Hardware/Software Codesign Methodology for Distributed/Embedded Systems,
  Coverification Techniques,
Hardware System-Level Design Automation,
  Multiprocessor Architecture Design,
  Object-Oriented Technology Transfer
Software Model-Checking Tool Development,
  Real-Time Application Development,
  Object-Oriented Application Framework Design

Pao-Ann Hsiung