中科院院士、计算机科学与软件工程专家

　　计算机科学与软件工程专家。湖南长沙人。
　　1950年毕业于清华大学哲学系，1952年同系研究生毕业。中国科学院软件研究所研究员。
　　60年代中从事自动机理论研究，证明计算机转移命令的许多结构性性质，如转移命令可用循环代替，它比Bohm－Jacopi 定理早一年。
　　70年代中从事结构程序设计与结构化语言的研究，推动了国内这方面工作的开展。
　　80年代初开始从事时序逻辑语言XYZ/E及以它为基础的软件工程工具与环境系统XYZ系统的研究，将时序逻辑理论与软件工程技术有机结合起来，以提高软件开发自动化的水平，从而提高其生产率。其中时序逻辑语言XYZ／E是世界上第一个可执行的时序逻辑语言。
　　1991当选为中国科学院院士。
　　2008年7月21日3时31分在北京逝世，享年83岁。
　　唐稚松院士生平
　　唐稚松（1925-2008）先生是中国科学院院士、著名的计算机科学家、中国科学院软件研究所研究员、计算机科学国家重点实验室名誉主任，我国计算机科学和软件工程研究的先驱和开拓者之一。他为我国科学事业的振兴兢兢业业奋斗近六十载，贡献了毕生精力，于2008年7月21日3时31分在北京因病医治无效逝世，享年83岁。唐稚松先生的一生是光辉的一生。
　　1925年8月7日（农历），唐稚松先生出生于湖南长沙。因生父唐子诚贫病早逝，他自幼过继给寡伯母朱纯轩为子。其祖父唐成之，以藏中医书闻名湖南，是清末民初在长沙最早创办新型学校的人士之一。
　　1940-1944年，唐稚松先后在湖南长沙著名的明德中学初中部和省立第一中学高中部学习， 1945-1950年在西南联合大学及清华大学哲学系本科学习。在学期间，他文理各科成绩均很突出，尤以诗词受重于师长。
　　1950-1952年，唐稚松先生在清华大学研究生院学习，专业为数理逻辑。1952年8月至1956年10月，任中国人民大学数学教研室讲师；1956 年10月至1962年10月，任中国科学院数学研究所逻辑室助理研究员；1962年10月至1985年3月，先后任中国科学院计算技术研究所助理研究员、副研究员和研究员；1985年3月起任中国科学院软件研究所研究员；1991年当选为中国科学院学部委员（院士）。
　　唐稚松先生是我国计算机科学和软件领域的主要学术带头人，在结构程序设计理论、程序语言、形式文法、汉字信息处理、软件工程等多个方面均有卓越建树。他在关键时刻发表的指导性的论文，对我国计算机科学和软件理论的发展有着重要影响。
　　早在1965年，唐稚松先生在《数学学报》发表了一篇关于计算机指令系统性质的论文，提出转移指令可用循环替代。这一重要结果比国外同行的类似结果早发表一年。二十世纪七十年代中期，他分析总结了国际上结构程序设计研究方面的大量资料，完成了长篇论文“结构程序设计与结构程序语言”。在此基础上，他设计了一个广谱的结构程序语言，取名为系列化语言族，简称XYZ系统。1978年，唐稚松先生在IFIP（国际信息处理协会）专家组会议上，介绍了XYZ系统的概念及设计思想，引起与会者的强烈反响。1980年，他成为来自中国的第一位IFIP专家组成员。
　　1979年，唐稚松先生应邀访问了美国斯坦福大学。此后又应邀先后到欧美和日本等国的30多所大学、科研机构讲学和访问。在此期间，他为XYZ建立了时序逻辑基础。1983年IFIP巴黎大会上，他提出了世界上第一个可执行时序逻辑语言XYZ/E。该语言第一次将状态转换的控制机制引入到逻辑系统之中，又第一次将这种时序逻辑形式化理论与最新软件技术结合起来。这一成果被国际著名计算机专家称为软件工程领域中发展可执行时序逻辑的先驱。由于在基于时序逻辑的软件工程环境理论和系统方面的研究成就，他荣获1989年国家自然科学奖一等奖和1996年何梁何利科学技术进步奖。
　　唐稚松先生的研究工作得到了包括图灵奖获得者A. Pnueli教授在内的众多国外著名学者的高度评价。1995年，由斯坦福大学Z. Manna教授提议，国际学术界为庆祝唐稚松先生70寿辰在北京召开了学术研讨会。会议论文集由World Scientific出版社出版。
　　唐稚松先生在国内外发表学术论文逾百篇，并著有诗词作品集《桃蹊诗存》（桃蹊是他的笔名）。专著《时序逻辑程序设计与软件工程》上、下册（科学出版社 1999、2001）获2003年国家图书奖正式奖和全国优秀科技图书奖一等奖。唐稚松先生曾任《计算机学报》、《软件学报》、《自然科学进展》、《Journal of Symbolic Computation》等杂志的编委，中国软件行业协会顾问、中文信息处理学会常务理事、自然辩证法学会理事等；曾任武汉大学、重庆大学、中南工业大学名誉教授，中国科学技术大学、西北大学、贵州大学等校兼职教授。
　　唐稚松先生治学严谨，极力维护科学的尊严，对学术腐败现象深恶痛绝。他培养了大批优秀的计算机