1968年,北京大學數(shù)學力學系畢業(yè),隨后在北京航空學院(現(xiàn)北京航空航天大學)任教至今。期間,獲英國愛丁堡大學計算機系博士學位。
1986年,任北京航空航天大學計算機學院教授、博士研究生導師。
2002年-2009年,任北京航空航天大學校長,兼任國務院學位委員會委員、國有智能計算機專家組副組長等職務。
1997年,當選中國科學院院士。
1999年,先后擔任973計劃“網(wǎng)絡環(huán)境下海量信息的組織與處理的理論與方法研究”和“海量信息的協(xié)同性與可生存性的理論和實踐研究”項目首席科學家。
2002年01月-2009年05月,任北京航空航天大學校長,黨委副書記。
獲1995年國家自然科學二等獎。
提出并設計了過程模式語言、合理過程模式的三個基本特性,獲得1999年光華科技進步一等獎。
獲得2004年度國家科技進步二等獎(第一完成人)。
已發(fā)表學術(shù)論文100余篇,專著1部。
獲2005年度國家教學成果一等獎、獲何梁何利科技進步獎。
培養(yǎng)博士后8名、博士研究生52名和碩士生96名。
2018年6月29日,榮獲“杰出大學校長獎”。