计算机软件专家。北京航空航天大学教授。1962年12月生于黑龙江哈尔滨，籍贯山东济南。1984年毕业于吉林工业大学（现吉林大学），1987年获哈尔滨工业大学硕士学位，1993年获北京航空航天大学博士学位。现任北京航空航天大学校长。
主要从事网络化软件技术与系统研究工作，提出了网络资源的可信聚合与调度方法，主持研制的系统实现了分布资源的可信共享和利用，为提高分布计算能力提供了实用系统；提出了安全协议分析的代数理论和算法，主持研制了协议自动分析与验证系统；提出了过程类软件自动开发方法和技术，主持研制的软件生产工具提高了面向领域的应用软件开发效率和质量。曾获国家技术发明二等奖、国家科技进步二等奖等多项奖励。
