【介绍】：

技术科学部学部委员。

计算机科学与软件工程专家。男，1925年8月出生，湖南长沙人。

中国科学院软件研究所研究员。国际信息协会专家组成员。1950年清华大学哲学系毕业，1952年该校哲学系研究生毕业。

主要贡献：我国软件领域的主要带头人。

在近十年研制的XYZ系统是一基于时序逻辑的软件工程环境，居国际领先地位，获国家自然科学一等奖。其时序逻辑语言在国际上被承认为可执行时序逻辑的先驱。专家评价它是一次重大突破，具有使软件生产率取得重大实际应用的前景。这一成果在实时过程控制通讯协议硬件描述等工程领域着手进行应用，还被认为适于作五代机的核心语言。

(1992年新增学部委员)