1943年生。1966年毕业于北京大学数学力学系，1983年在英国爱丁堡大学获计算机科学博士学位。1986年起任北京航空航天大学计算机学院教授，北京航空航天大学校长，国务院学位委员会委员，国家自然科学基金委员会委员，教育部计算机教学指导委员会主任，《Frontiers of Computer Science in China》主编，电子学会副理事长。曾任英国科学与工程委员会高级研究、德国不莱梅大学教授级研究员、德国萨尔布吕肯大学Zuse讲座教授。

　　1999年起，先后担任973计划“网络环境下海量信息的组织与处理的理论与方法研究”和“海量信息的协同性与可生存性的理论和实践研究”项目首席科学家。

　在计算机程序语义研究方面，获1995年国家自然科学二等奖。

　提出了修正的演算系统（R-演算），并证明了R-演算的可靠性、完全性和可达性。提出并设计了过程模式语言，提出并研究了合理过程模式的三个基本特性获得1999年光华科技进步一等奖。主持研制的基础设施网络管理系统软件生产平台，获得2004年度国家科技进步二等奖（第一完成人）。

　已发表学术论文100余篇，专著1部。获2005年度国家教学成果一等奖，获何梁何利科技进步奖一项。培养博士后8名、博士研究生52名和硕士生96名。