院士风采展巡展申请及成果反馈
百年院士名录
唐稚松
计算机科学与软件工程专家
1925.8.7-2008.7.21
主要从事数理逻辑、自动机理论、程序语言与编译方法、形式语义、软件开发方法、工具与环境等方面的研究。提出可执行时序逻辑语言XYZ/E，以统一形式化框架表示程序动态语义与规约静态语义，并与软件工程工具结合支撑软件开发全过程，被列为中国科学院建院50年来50项主要科研成果之一。
