In both positions, he contributed to the design and implementation of the concurrent constraint language Oz. His integration of object-oriented programming concepts in the framework of concurrent constraint languages led to the Oz Object System used in the Mozart system and is reported in his book Objects for Concurrent Constraint Programming . Degrees Dr. rer. Master of Science, State University of New York at Stony Brook, December 1991. Term Rewriting in Associative Commutative Theories with Identities .
Publications Go to publications .
Solving Hierarchical Constraints over Finite Domains with Yun Fong Lim, Seet Chong Lua, Xiao Ping Shi, J. Paul Walser and Roland H. C. Yap, AMAI 2000. A Toolkit for Constraint-based Inference Engines with Tee Yong Chew and Ka Boon Ng, PADL 2000. Drafts Components for State Restoration in Tree Search with Choi Chiu Wo and Ng Ka Boon. Comparing Cost-based Filtering Techniques for the Traveling Salesman Problem with Ong Kar Loon. One Flip per Clock Cycle with Edgar Tan and Roland Yap.