Zhisong Tang, Chinese computer scientist (Changsha, Hunan Province 07 August 1925 – Beijing 21 July 2008)

Proved many structural properties of computer control transfer (1960s)

Proposed independently an alternative cycle for computer programming set (1965)

Designed XYZ/E system the first executable temporal logic language and the first to use language control mechanism into state transitions out of the logic system in the world (1978)

Developed XYZ/E based CASE tools which can support software development process