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