唐稚松 Tang Zhisong

简历 ：1925年8月7日生于湖南长沙。2008年7月21日逝世于北京。计算机科学与软件工程专家。1950年毕业于清华大学哲学系。1952年清华大学哲学系逻辑专业研究生毕业。1991年当选为中国科学院院士（学部委员）。曾任中科院软件研究所研究员、计算机科学国家重点实验室名誉主任。

主要成就 ：长期从事数理逻辑、自动机理论、程序语言与编译方法、形式语义、软件开发方法、工具与环境等方面的研究。首先提出了以统一形式化框架表示程序动态语义与规范静态语义的可执行时序逻辑语言XYZ/E，并以之为基础研制了支撑软件开发全过程的软件工程工具XYZ系统，解决了软件工程中的许多难题，受到国内外同行的高度赞誉。1999年XYZ系统的理论与设计被列为中国科学院建院50年来的50项主要科技成果之一。1989年获国家自然科学奖一等奖。1996年获何梁何利基金科学与技术进步奖。

著作和论文 ：
《时序逻辑程序设计与软件工程》（上、下册）  科学出版社  1999年、2000年
《桃蹊诗存》  作家出版社  2005年