Domestic Research Awards

(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.

(18)Tamkang University Research Award (2002 – 2008).