唐稚松
书籍:中国专家大辞典·广东卷
出处:按学科分类—历史、地理 广东人民出版社《中国专家大辞典·广东卷》第80页(338字)
【介绍】:
技术科学部学部委员。
计算机科学与软件工程专家。男,1925年8月出生,湖南长沙人。
中国科学院软件研究所研究员。国际信息协会专家组成员。1950年清华大学哲学系毕业,1952年该校哲学系研究生毕业。
主要贡献:我国软件领域的主要带头人。
在近十年研制的XYZ系统是一基于时序逻辑的软件工程环境,居国际领先地位,获国家自然科学一等奖。其时序逻辑语言在国际上被承认为可执行时序逻辑的先驱。专家评价它是一次重大突破,具有使软件生产率取得重大实际应用的前景。这一成果在实时过程控制通讯协议硬件描述等工程领域着手进行应用,还被认为适于作五代机的核心语言。
(1992年新增学部委员)
上一篇:唐崇惕
下一篇:中国专家大辞典·广东卷目录