唐稚松

维基百科,自由的百科全书
跳转至: 导航搜索

唐稚松(1925年9月24日[注 1]-2008年7月21日),清华大学哲学系毕业, 任中国科学院软件研究所研究员, 中科院计算所第一位计算机科学博士学位导师, 中国第一位计算机博士生冯玉琳的导师, 信息技术科学部1991年院士。

学术[编辑]

唐稚松致力于时间逻辑的研究,有专著《时序逻辑程序设计与软件工程》[1]。为解决硬件运行正确性验证的问题创造了XYZ/E语言(一种可以覆盖VDHL的并发性与时序性模拟的运行于XYZ系统的可执行描述语言)。他毕生主要的贡献在于:结构程序设计理论、程序语言、形式文法、汉字信息处理、软件工程等多个方面。

[编辑]

  1. ^ 生于农历八月初七

参考[编辑]

  1. ^ 唐稚松. 时序逻辑程序设计与软件工程(上). 北京: 科学出版社. 1999. ISBN 7-03-007006-2 (中文(简体)‎). 

外部链接[编辑]

中国科学院软件研究所网页介绍