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