Computer scientist TANG Zhisong, 83, passes away

Date:2008-07-22

Prof. TANG Zhisong, the famous computer scientist of ISCAS, died on 21 July in Beijing at the age of 83.

Prof. TANG Zhisong is one of the pioneers in computer science and software engineering in China. In 1983, he proposed the executable temporal logic language XYZ/E, which can express programs and their specifications in a unified framework. In the followed years, he devoted himself to developing the XYZ/E-based CASE tools which can support the software development process. For this work, he won the first class prize of Chinese Natural Science Award in 1989, and the HeLiangHeLi Science and Technology Progress Award in 1996.

He was elected a CAS Member in 1991.