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