1943年6月8日生，北京人。北京航空航天大學計算機學院教授，軟件開發環境國家重點實驗室主任，國務院學位委員會委員，教育部教指委計算機部主任。第十屆全國政協委員，國家中長期科技發展規劃專家組成員。1997年當選為中國科學院院士。2002年1月任北京航空大學校長，黨委副書記。1966年畢業于北京大學數學力學系，1983年在英國愛丁堡大學獲計算機科學博士學位。他長期從事計算機科學理論、軟件技術及因特網應用研究，獲1995年國家自然科學獎二等獎。在計算機體系結構方面，主持研制推理工作站，獲原航天部1996年科技進步一等獎。在開放邏輯方面，是形式系統序列與極限理論的開創者，獲“光華”一等獎及何梁何利科技進步獎。在網絡計算方面，現任因特網海量信息系統重大基礎研究項目（973）的首席科學家。已發表論文一百余篇，專著1部；培養博士后8人，博士50余人，碩士100余人。