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