1968年,北京大學數學力學系畢業,隨后在北京航空學院(現北京航空航天大學)任教至今。期間,獲英(ying)國愛丁堡大(da)學計算機系博士(shi)學位(wei)。
1986年,任北(bei)京(jing)航空航天大學計算(suan)機學院教(jiao)授、博士研究生(sheng)導師。
2002年-2009年,任北京航空航天大學(xue)校長,兼(jian)任國(guo)務(wu)院學(xue)位(wei)委員(yuan)會委員(yuan)、國(guo)有(you)智(zhi)能(neng)計(ji)算機(ji)專家組副組長等職務(wu)。
1997年,當選(xuan)中國科學院(yuan)院(yuan)士。
1999年,先(xian)后擔(dan)任973計劃“網絡環境下海(hai)量信息的(de)(de)(de)組織與處理(li)的(de)(de)(de)理(li)論與方法研(yan)(yan)究(jiu)”和“海(hai)量信息的(de)(de)(de)協同性(xing)與可生存(cun)性(xing)的(de)(de)(de)理(li)論和實踐(jian)研(yan)(yan)究(jiu)”項目首席科(ke)學家。
2002年(nian)01月-2009年(nian)05月,任北京航空航天大學校長,黨(dang)委副書(shu)記。
獲1995年國家自然科學二等獎。
提出并設(she)計(ji)了過程模式語言、合理過程模式的三個基(ji)本特性(xing),獲得1999年光華科技進步一等獎。
獲得2004年度國家(jia)科技(ji)進(jin)步二等獎(第一(yi)完成人)。
已發表學術論文100余篇,專(zhuan)著1部(bu)。
獲(huo)(huo)2005年度國家教(jiao)學成果(guo)一(yi)等獎、獲(huo)(huo)何梁何利科技進(jin)步獎。
培養(yang)博(bo)(bo)士后8名、博(bo)(bo)士研究生(sheng)52名和碩士生(sheng)96名。
2018年6月29日,榮獲“杰出大學校(xiao)長(chang)獎”。