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é)位委員會(huì)委員、國有智能計(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é)二等獎(jiǎng)。
提出并設(shè)計(jì)了過程模式語言、合理過程模式的三個(gè)基本特性,獲得1999年光華科技進(jìn)步一等獎(jiǎng)。
獲得2004年度國家科技進(jìn)步二等獎(jiǎng)(第一完成人)。
已發(fā)表學(xué)術(shù)論文100余篇,專著1部。
獲2005年度國家教學(xué)成果一等獎(jiǎng)、獲何梁何利科技進(jìn)步獎(jiǎng)。
培養(yǎng)博士后8名、博士研究生52名和碩士生96名。
2018年6月29日,榮獲“杰出大學(xué)校長獎(jiǎng)”。