计算机软件专家，主要从事系统软件、软件工程、软件工业化生产技术和系统等方面的教学与研究。1932年11月6日生于江苏无锡。
1958年北京大学数力系研究生毕业，留校任教。
1991年当选为中国科学院院士（学部委员）。
