The Bio of Dr. Chin-Liang Chang
  

I, Chin-Liang Chang (Chin Chang or CL Chang), received my Ph.D. in Electrical Engineering in 1967 from the University of California, Berkeley under the advice of Professor Lotfi A Zadeh, the inventor of fuzzy set. One major publication when I was there: Fuzzy Topological Spaces. This concept has been followed by many authors and blossomed into an extensive literature in pure mathematics. For a historical remark, please read http://www.nicesoftsearch.com/zadeh.html .

From 1967 to 1974, I was with the Division of Computer Research and Technology at the National Institutes of Health, doing artificial intelligence and logic research on providing medical services (e.g. doctors' advices) to patients in rural areas through communication lines. As I look back from now, the current Prolog and MySQL on a server and Internet will fit perfectly with the logic research I did at that time. One major publication when I was there: There is an input proof if and only if there is an unit proof. This can support the input proof strategy of Prolog because most applications contain many unit clauses (e.g. rows of tables in a relational database.) I also published a paper "Finding Prototypes for Nearest Neighbor Classifiers" .

From 1974 to 1985, I was with IBM San Jose Research Laboratory, working on development projects related to relational databases. This was the beginning of IBM's push for SQL, which became the most used database system in the world. One major publication when I was there: The DEDUCE language was used as a target language for a Natural Language Query System led by IBM Fellow, E.F. Codd, the inventor of the relational database model.

From 1985 to 1992, I was with Lockheed, where as co-principal investigators, Rolf Stachowitz and I received a 1.5 million dollar Defense Department contract to do testing and validation of large software systems. One major idea developed: A representation of the parse tree of a program in a relational database. Requirements and abnormalies can be expressed in forms of database queries.

From 1992 to the present, with some supports from friends, I founded a software company called Nicesoft Corporation, and has put my efforts into the development of various Internet application software products listed as follows:

I published/co-published the following 4 books

  • Chin-Liang Chang and Richard C.T. Lee, "Symbolic Logic and Mechanical Theorem Proving," Academic Press, 1973.
  • Chin-Liang Chang, "Introduction to Artificial Intelligence Techniques," JMA Press, 1985.
  • Chin-Liang Chang, "Fuzzy-Logic-Based Programming," World Scientific, 1997.
  • Chin-Liang Chang, "Applications of Fuzzy Similarity and My Internet Products," Nicesoft Corporation, 2015.
and about 50 papers in Artificial Intelligence, Database, and Software Engineering. I also wrote blogs and posted photo albums on my website. I frequently participate in discussions in the Berkeley Initiative of Soft Computing (BISC) group.