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