新闻中心

(科学时报 2008-7-25)

计算机专家唐稚松

中国科学院院士、著名计算机科学家、中国科学院软件研究所研究员、计算机科学国家重点实验室名誉主任唐稚松先生因病医治无效，于2008年7月21日在北京逝世，享年83岁。

唐稚松先生逝世后，胡锦涛、温家宝、李长春、李克强、刘延东、李源潮、张高丽、路甬祥等党和国家领导人，原国务院总理朱镕基，丁石孙、Amir Pnueli、姚期智等海内外著名学者，及湖南省人民政府、长沙市人民政府均以不同方式表示哀悼，并对其家属表示慰问。

唐稚松先生1925年8月7日生于湖南长沙。中学就读于长沙明德中学和省立一中。1952年清华大学哲学系逻辑专业研究生毕业。历任中国人民大学数学教研室讲师，中国科学院数学研究所、计算机技术研究所研究员。是国际信息加工协会成员。长期从事数理逻辑、自动机理论、计算机科学和软件工程等方面的研究。曾证明计算机转移命令的许多结构性性质，得出转移命令可用循环代替的结论。80年代初开始从事时序逻辑语言及其基础软件研究，获1989年国家自然科学一等奖。1996年获何梁何利基金奖。1991年当选中国科学院学部委员(院士)。

唐稚松院士是我国计算机科学和软件领域的主要学术带头人，在结构程序设计理论、程序语言、形式文法、汉字信息处理、软件工程等多个方面均有卓越建树。1983年，他提出了世界上第一个可执行时序逻辑语言XYZ/E，该成果被国际著名计算机专家称为软件工程领域中发展可执行时序逻辑的先驱。