唐稚松

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

清华大学

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

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

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

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

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

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

谈家桢 (1909～2008) 遗传学家 浙江省宁波

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

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

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

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