This is Prof. Pao-Ann Hsiung's Personal Home Page. You are most welcome to
browse through it. Dr. Hsiung is interested in the Design and Verification of
Real-Time Systems, Hardware-Software Codesign of Embedded Real-Time Systems,
Formal Verification, Component-Based and Object-Oriented Application Framework
Development, and System-Level Synthesis.
Sorry, your browser does not support frames. Update to a more recent
browser such as Netscape Communicator 6.x or Microsoft Internet Explorer 5.x.