明升体育app下载 - App Store

明升官网明升体育app院院士、著名计算机明升体育app家、明升官网明升体育app院软件研究所研究员、计算机明升体育app国家重点实验室名誉主任唐稚松先生因病医治无效，于2008年7月21日在北京逝世，享年83岁。

 

唐稚松先生逝世后，胡锦涛、温家宝、李长春、李克强、刘延东、李源潮、张高丽、路甬祥等党和国家领导人，原国务院总理朱镕基，丁石孙、Amir Pnueli、姚期智等海内外著名学者，及湖南省人民政府、长沙市人民政府均以不同方式表示哀悼，并对其家属表示慰问。

 

唐稚松先生1925年8月7日生于湖南长沙。1952年起历任明升官网人民大学数学教研室讲师，明升官网明升体育app院数学研究所逻辑室助理研究员，明升官网明升体育app院计算技术研究所助理研究员、副研究员和研究员；1985年起任明升官网明升体育app院软件研究所研究员；1991年当选明升官网明升体育app院学部委员（院士）。

 

唐稚松院士是我国计算机明升体育app和软件领域的主要学术带头人，在结构程序设计理论、程序语言、形式文法、汉字信息处理、软件工程等多个方面均有卓越建树。1983年，他提出了世界上第一个可执行时序逻辑语言XYZ/E，该成果被国际著名计算机专家称为软件工程领域中发展可执行时序逻辑的先驱。