中國電腦軟體科學傢。1991年當選為中國科學院學部委員（院士）。美國電氣與電子工程師學會（IEEE）會士（Fellow）。女。1932年11月6日生於江蘇無錫。1958年北京大學數學力學系研究生畢業。1957～1959年在蘇聯科學院計算中心和莫斯科大學數力系學習。1962～1964年任蘇聯杜勃納聯合核子物理所計算中心中國專傢。現任北京大學資訊與工程科學學部主任教授，軟體工程國傢工程研究中心主任，北京大學軟體學院理事長、名譽院長。主要研究系統軟體、軟體工程程基礎理論和軟件工程環境、軟件工業化生產技術等。主持研制瞭中國第一臺百萬次集成電路計算機的操作系統和第一個全部用高級語言書寫的多道操作系統，具有首創性和開拓性。首先倡導開展軟件結構與工具、軟件設計技術等軟件工程基礎研究。主持國傢重點科技攻關項目青鳥工程的研究開發工作，在大型軟件工程開發環境、軟件工業化生產技術及系統研究方面取得瞭重大成果，促進瞭中國軟件產業基礎建設，對軟件產業規模經濟的形成提供瞭良好技術支持。承擔瞭多項863高技術課題研究工作，在軟件復用和軟件構件技術的理論體系研究方面取得若幹重要成果。發表論文100餘篇，著作7部。獲全國科學大會獎、國傢科技進步二等獎，全國“三八”紅旗手，國傢"七五"、"八五"科技攻關突出貢獻先進個人，"九五"國傢重點科技攻關計劃先進個人，何梁何利基金科學與技術進步獎，潘文淵研究傑出獎等。是國務院學位委員會計算機學科評議組召集人，《中國科學》、《科學通報》和《電子學報》副主編，清華大學、復旦大學、浙江大學、上海交通大學等兼職教授，上海大學名譽教授，北京市計算機學會名譽理事長。曾任北京大學計算機科學技術系主任，國務院學位委員會委員，中國電子學會、中國計算機學會副理事長。