手机版
ENGLISH

当前位置:地方文献 >> 三湘院士风采
 
唐稚松

   唐稚松 (1925.9.24- )计算机科学与软件工程专家。湖南长沙人。辈名耀崇,笔名桃蹊。1950年清华大学哲学系逻辑专业毕业,1952年同系研究生毕业。历任中国人民大学数学教研室讲师,中国科学院数学研究所、计算技术研究所助理研究员、副研究员、研究员、博士生导师。1991年当选为中国科学院技术科学部委员,1994年改称中科院院士。是国际信息加工协会( IFIP )WG2.4成员。长期从事数理逻辑、自动机理论、计算机科学和软件工程等方面的研究。20世纪60年代从事自动机理论研究,曾证明计算机转移命令的许多结构性性质,最重要的一个结果为转移命令可用循环代替。70年代从事结构程序设计与结构化语言的研究。80年代初 开始从事时序逻辑语言XYZ/E 及以它为基础的软件工程工具与环境系统XYZ系统的 研究,XYZ/E是世界上第一个可执行时序逻辑的语言,获1989年国家自然科学奖一等奖。1996年获何梁何利基金科学与技术进步奖。著有《时序逻辑程序设计与软件工程》;撰有《 XYZ 系统的设计思想》、《 A Temporal logic Language Oriented Toward Software Engineering-An Introduction to XYZ System (Ⅰ)》等论文数十篇。


湘ICP备05011312 版权所有 湖南图书馆 备案证书
WebMaster:[email protected]