中國女電腦軟體科學傢。美國電氣和電子工程師學會會士(IEEE Fellow)。生於江蘇無錫。1958年北京大學數學力學系研究生畢業。1957～1959年在蘇聯科學院計算中心和莫斯科大學數力系學習。1962～1964年任蘇聯杜勃納聯合核子物理所計算中心中國專傢。後任北京大學資訊與工程科學學部主任、教授，軟體工程國傢工程研究中心主任，北京大學軟體學院理事長、名譽院長。1991年當選中國科學院學部委員（院士）。主要研究系統軟體、軟體工程基礎理論和軟體工程環境、、軟件工業化生產技術等。主持研制瞭中國第一臺百萬次集成電路計算機的操作系統和第一個全部用高級語言書寫的多道操作系統。首先倡導開展軟件結構與工具、軟件設計技術等軟件工程基礎研究。主持國傢重點科技攻關項目青鳥工程的研究開發工作。承擔多項863高技術課題研究工作，在軟件復用和軟件構件技術的理論體系研究方面取得若幹重要成果。發表論文100餘篇，著作7部。獲全國科學大會獎，國傢科技進步獎二等獎，何梁何利基金科學與技術進步獎。國務院學位委員會計算機學科評議組召集人，《中國科學》、《科學通報》和《電子學報》副主編，清華大學、復旦大學、浙江大學、上海交通大學兼職教授，上海大學名譽教授。曾任北京大學計算機科學技術系主任，國務院學位委員會委員，中國電子學會、中國計算機學會副理事長。
