您现在的位置 > 首页 > 湖南省 > 长沙市 > 雨花区人物

唐稚松


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


相关院校:

同年(公元1925年)出生的名人:
胡宏纹 (19252016) 中国科学院院士 四川省广安市
郭燮贤 (19251998) 中国科学院院士 浙江省杭州
高为炳 (19251994) 中国科学院院士 河南省新乡市卫辉市
庄逢甘 (19252010) 空气动力学专家 江苏省常州
张嗣瀛 中国科学院院士 山东省济南章丘

同年(公元2008年)去世的名人:
唐敖庆 (19152008) 中国科学院院士 江苏省无锡宜兴
宋叔和 (19152008) 中国科学院院士 河北省唐山市迁安
宋大祥 (19352008) 中国科学院院士 浙江省绍兴
任美锷 (19132008) 中国科学院院士 浙江省宁波
钦俊德 (19162008) 中国科学院院士 浙江省湖州安吉

下一名人:唐九华