|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. Considering that the Relational Database Systems weren't marketed until 1980 and that the Internet didn't really start until 1995, this kind of research was quite pioneering at the time. 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.)
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