北京 天津 河北 山西 内蒙古 辽宁 吉林 黑龙江 上海 江苏 浙江 安徽 福建 江西 山东 河南 湖北 湖南 广东 广西 海南 重庆 四川 贵州 云南 西藏 陕西 甘肃 青海 宁夏 新疆 台湾 香港 澳门
您现在的位置> 首页> 湖南省> 长沙市> 雨花人物

唐稚松

[公元1925年-2008年,中国科学院院士]

唐稚松为[公元1925年-2008年,中国科学院院士]

  唐稚松(1925.8.7-2008.7.21),,计算机科学与软件工程专家。湖南长沙人。1950年毕业于清华大学哲学系,1952年同系研究生毕业。中国科学院软件研究所研究员。60年代中从事自动机理论研究,证明计算机转移命令的许多结构性性质,如转移命令可用循环代替,它比Bohm-Jacopi定理早一年。70年代中从事结构程序设计与结构化语言的研究,推动了国内这方面工作的开展。80年代初开始从事时序逻辑语言XYZ/E及以它为基础的软件工程工具与环境系统XYZ系统的研究,将时序逻辑理论与软件工程技术有机结合起来,以提高软件开发自动化的水平,从而提高其生产率。其中时序逻辑语言XYZ/E是世界上第一个可执行的时序逻辑语言。1991当选为中国科学院院士。
  
同年(公元1925年)出生的名人:
同年(公元2008年)去世的名人: