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