1968年,北京大学数学力学系毕业,随后在北京航空学院(现北京航空航天大学)任教至今。期间,获英国爱丁堡大学计算机系博士学位。
1986年,任北京航空航天大学计算机学院教授、博士研究生导师。
2002年-2009年,任北京航空航天大学校长,兼任国务院学位委员会委员、国有智能计算机专家组副组长等职务。
1997年,当选中国科学院院士。
1999年,先后担任973计划“网络环境下海量信息的组织与处理的理论与方法研究”和“海量信息的协同性与可生存性的理论和实践研究”项目首席科学家。
2002年01月-2009年05月,任北京航空航天大学校长,党委副书记。
获1995年国家自然科学二等奖。
提出并设计了过程模式语言、合理过程模式的三个基本特性,获得1999年光华科技进步一等奖。
获得2004年度国家科技进步二等奖(第一完成人)。
已发表学术论文100余篇,专著1部。
获2005年度国家教学成果一等奖、获何梁何利科技进步奖。
培养博士后8名、博士研究生52名和硕士生96名。
2018年6月29日,荣获“杰出大学校长奖”。