唐稚松

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

学术

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

注

1. 生于农历八月初七

参考

1. 唐稚松. . 北京: 科学出版社. 1999. ISBN 7-03-007006-2 （中文（简体）‎）.

外部链接

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