唐稚松

雨花区当代人物专题

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

      雨花区景点雨花区特产雨花区地名网[手机版]

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


  相关院校:

      清华大学


  同年(公元1925年)出生的名人:

      胡宏纹(19252016)中国科学院院士四川省广安市前锋区

      郭燮贤(19251998)中国科学院院士浙江省杭州

      高为炳(19251994)中国科学院院士河南省新乡市卫辉市

      庄逢甘(19252010)空气动力学专家江苏省常州

      张嗣瀛(19252019)中国科学院院士山东省济南市章丘区

      + 更多公元1925年出生的名人》


  同年(公元2008年)去世的名人:

      唐敖庆(19152008)中国科学院院士江苏省无锡宜兴

      谈家桢(19092008)遗传学家浙江省宁波

      宋叔和(19152008)中国科学院院士河北省唐山市迁安

      宋大祥(19352008)中国科学院院士浙江省绍兴

      任美锷(19132008)中国科学院院士浙江省宁波

      钦俊德(19162008)中国科学院院士浙江省湖州安吉

      + 更多公元2008年去世的名人》

      唐姓名人堂

      中国科学院院士人物介绍

      清华大学人物介绍

      雨花区更多人物