唐稚松简介

唐稚松（汉语拼音：Tang Zhisong，1925～ ），中国计算机专家。

中国科学院院士。

1925年8月7日生于湖南长沙市。

1944～1945年在西南联合大学哲学系学习，1950年清华大学哲学系毕业，1952年清华大学哲学系研究生毕业。

1952年起历任中国人民大学数学教研室讲师，1956年任中国科学院数学研究所助理研究员，1963年起历任中国科学院计算技术研究所助理研究员、副研究员、研究员，1985年起任中国科学院软件研究所研究员。

60年代从事自动机理论研究，曾证明计算机转移命令的许多结构性性质。

其中，最重要的一个结果为转移命令可用循环代替。

这结果与被称为结构程序基本定理的Bohm-Jacopi工作具有相同涵义，而此结果比Bohm-Jacopi定理早一年。

70年代从事结构程序设计与结构化语言的研究。

从80年代初开始从事逻辑语言及以此为基础的软件工程工具与环境系统XTZ系统的研究。

这是将时序逻辑理论与软件工程技术有机结合而成的系统，目标是提高软件开发自动化的水平，从而提高其生产率。

其中时序逻辑语言XYZ／E是世界上第一个可执行时序逻辑的语言。

该成果获1989年国家自然科学奖一等奖。