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