1968年,,北京大學(xué)數(shù)學(xué)力學(xué)系畢業(yè),,隨后在北京航空學(xué)院(現(xiàn)北京航空航天大學(xué))任教至今,。期間,獲英國(guó)愛(ài)丁堡大學(xué)計(jì)算機(jī)系博士學(xué)位,。
1986年,,任北京航空航天大學(xué)計(jì)算機(jī)學(xué)院教授、博士研究生導(dǎo)師,。
2002年-2009年,,任北京航空航天大學(xué)校長(zhǎng),兼任國(guó)務(wù)院學(xué)位委員會(huì)委員,、國(guó)有智能計(jì)算機(jī)專(zhuān)家組副組長(zhǎng)等職務(wù),。
1997年,當(dāng)選中國(guó)科學(xué)院院士,。
1999年,,先后擔(dān)任973計(jì)劃“網(wǎng)絡(luò)環(huán)境下海量信息的組織與處理的理論與方法研究”和“海量信息的協(xié)同性與可生存性的理論和實(shí)踐研究”項(xiàng)目首席科學(xué)家。
2002年01月-2009年05月,,任北京航空航天大學(xué)校長(zhǎng),,黨委副書(shū)記。
獲1995年國(guó)家自然科學(xué)二等獎(jiǎng),。
提出并設(shè)計(jì)了過(guò)程模式語(yǔ)言,、合理過(guò)程模式的三個(gè)基本特性,獲得1999年光華科技進(jìn)步一等獎(jiǎng),。
獲得2004年度國(guó)家科技進(jìn)步二等獎(jiǎng)(第一完成人),。
已發(fā)表學(xué)術(shù)論文100余篇,專(zhuān)著1部,。
獲2005年度國(guó)家教學(xué)成果一等獎(jiǎng),、獲何梁何利科技進(jìn)步獎(jiǎng)。
培養(yǎng)博士后8名,、博士研究生52名和碩士生96名,。
2018年6月29日,,榮獲“杰出大學(xué)校長(zhǎng)獎(jiǎng)”。