1968年,北京大學數學力學系畢業,隨后在北京航空學院(現北京航空航天大學)任教至今。期間,獲英國愛(ai)丁(ding)堡大學(xue)計算機系博士學(xue)位(wei)。
1986年(nian),任(ren)北京航(hang)空(kong)航(hang)天大學(xue)計算機學(xue)院教授、博士研究生導師。
2002年(nian)-2009年(nian),任北京航空航天(tian)大學(xue)(xue)校長,兼任國務院學(xue)(xue)位委員會(hui)委員、國有智能(neng)計(ji)算機專家組副組長等職務。
1997年,當選中國科學院(yuan)(yuan)院(yuan)(yuan)士。
1999年,先后擔任(ren)973計(ji)劃(hua)“網(wang)絡(luo)環(huan)境下海(hai)(hai)量(liang)信息(xi)的(de)組織與(yu)處理(li)的(de)理(li)論與(yu)方法研究(jiu)”和(he)“海(hai)(hai)量(liang)信息(xi)的(de)協同(tong)性與(yu)可生存性的(de)理(li)論和(he)實踐研究(jiu)”項(xiang)目首席科(ke)學家。
2002年(nian)01月-2009年(nian)05月,任北京航(hang)空(kong)航(hang)天(tian)大學校長,黨委副書記。
獲1995年國家自然科學(xue)二等(deng)獎。
提出并設計了過(guo)(guo)程模式語言(yan)、合理(li)過(guo)(guo)程模式的三個基本特性,獲得1999年光華(hua)科技(ji)進(jin)步(bu)一等獎。
獲得2004年度國家科技進步二(er)等獎(第(di)一完成(cheng)人(ren))。
已發表學術論文100余(yu)篇,專(zhuan)著1部(bu)。
獲2005年度(du)國家教學成(cheng)果一等獎(jiang)、獲何(he)梁何(he)利科(ke)技(ji)進步(bu)獎(jiang)。
培養(yang)博士后8名、博士研究生52名和碩士生96名。
2018年6月29日,榮獲“杰出(chu)大學校長獎”。