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