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