院长。主要从事系统软件、软件工程、软件工业化和系统方面的研究工作。荣获全国“三八”红旗手等称号，曾经承担过多项863高技术课题研究工作.
生平.1932年生于江苏无锡。1958年研究生毕业于北京大学数力系。1991年当选为中国科学院院士（学部委员）。
家庭.丈夫是中国科学院院士王阳元。