1. Research Award of NSC, Taiwan, 1995, Research Topic: On the Construction of a Prolog-Based Verifier for Systolic Designs.
2. Research Award of NSC, Taiwan, 1996, Research Topic: An Operational Semantics Approach to Disciplined Exceptions in Logic Programming.
3. Research Award of NSC, Taiwan, 1997, Research Topic: IMMPS: A Multimedia Presentation Design System.
4. Research Award of NSC, Taiwan, 1998, Research Topic: On Computing Temporal/Spatial Relations.
5. Research Award of NSC, Taiwan, 1999, Research Topic: Multimedia Abstract Machine
6. Tamkang University Research Award, Tamkang University, Tamsui, Taiwan, 1994, Research Topic: A Temporal Arithmetic Based Reasoning System for Systolic Array Designs.
7. Tamkang University Research Award, Tamkang University, Tamsui, Taiwan, 1995, Research Topic: An Operational Semantics Approach to Disciplined Exceptions in Logic Programming.
8. Tamkang University Research Award, Tamkang University, Tamsui, Taiwan, 1996, Research Topic: On the Construction of Intelligent Multimedia Presentations.
9. Tamkang University Research Award, Tamkang University, Tamsui, Taiwan, 1997, Research Topic: Case Studies in Intelligent Multimedia Presentation Design Systems in Terms of the Standard Reference Model: the IMMPS Project, the PreGen System, and the StrMP System.
10. Tamkang University Research Award, Tamkang University, Tamsui, Taiwan, 1998, Research Topic: Multimedia Abstract Machine.
11. Tamkang University Research Award, Tamkang University, Tamsui, Taiwan, 1999, Research Topic: An Operational Semantics Approach to Continuation Style Interpreter of Logic Programs.
12. Tamkang University Research Award (Type A), Tamkang University, Tamsui, Taiwan, 2000, Research Topic: Mobile Agent Evolution Computing
13. Tamkang University Research Award (Type B), Tamkang University, Tamsui, Taiwan, 2000, Research Topic: An Intelligent Content-based Image Retrieval System Based on Color, Shape and Spatial Relations
14. Tamkang University Research Award (Type A), Tamkang University, Tamsui, Taiwan, 2001, Research Topic: Supporting Well-Engineered Web Documentation Development
15. Tamkang University Research Award (Type B), Tamkang University, Tamsui, Taiwan, 2001, Research Topic: EVCS - A Complete Electronic Virtual Conference System
16. Tamkang University Research Award (Type B), Tamkang University, Tamsui, Taiwan, 2001, Research Topic: Temporal Properties Underlying Multimedia Presentations with Z Notations
17. Tamkang University Research Award (Type B), Tamkang University, Tamsui, Taiwan, 2001, Research Topic: An Efficient Approach to Holding a Virtual Conference