中国计算机专家，中国科学院院士 - 唐稚松（1925～ ）

libing

唐稚松（1925～ ）
  中国计算机专家。中国科学院院士。1925年8月7日生于湖南长沙市  。1944～1945年在西南联合大学哲学系学习，1950年清华大学哲学系毕业  ，1952年清华大学哲学系研究生毕业。1952年起历任中国人民大学数学教研室讲师，1956年任中国科学院数学研究所助理研究员，1963年起历任中国科学院计算技术研究所助理研究员  、副研究员  、研究员，1985年起任中国科学院软件研究所研究员  。60年代从事自动机理论研究，曾证明计算机转移命令的许多结构性性质。其中，最重要的一个结果为转移命令可用循环代替。这结果与被称为结构程序基本定理的Bohm-Jacopi工作具有相同涵义，而此结果比Bohm-Jacopi定理早一年。70年代从事结构程序设计与结构化语言的研究。从80年代初开始从事逻辑语言及以此为基础的软件工程工具与环境系统XTZ系统的研究。这是将时序逻辑理论与软件工程技术有机结合而成的系统，目标是提高软件开发自动化的水平，从而提高其生产率。其中时序逻辑语言XYZ／E是世界上第一个可执行时序逻辑的语言。该成果获1989年国家自然科学奖一等奖。