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