Research Projects
We are currently conducting research projects mainly in embedded systems design and verification.
The research project topics include
the architecture and operating system design of Dynamically Reconfigurable Systems,
the adaptive learning framework for Cognitive Radio,
the design of a framework for multicore embedded software development (VERTAF/Multicore),
the learning-based assume-guarantee synthesis of formal models, and
the operating system design for a native SIMD processor, namely PLX.
Collaborations are welcome.
Suggestions and comments are even more welcome!
Please write to pahsiung@cs.ccu.edu.tw
(Pao-Ann Hsiung).