中国科学院院士，国家级教学名师。1987年毕业于北京大学数学系，获理学博士学位。曾任北京大学数学科学学院副院长，北京大学副教务长，北京航空航天大学副校长。现任软件开发环境国家重点实验室主任，数学、信息与行为教育部重点实验室主任，北航人工智能研究院院长，教育部高校数学专业教指委主任等职。长期从事网络安全、人工智能和区块链等研究，取得系列原创研究成果。

在网络安全研究方面，创立了动力学密码—基于代数和动力学融合的密码分析原理和方法及相关的网络安全系统，突破空天信息安全高速、低耗、异构多模式等关键技术瓶颈；在人工智能研究方面，针对可解释、可复现等重大瓶颈问题，发展了精准智能理论与关键技术，构建了内嵌数学原理的精准智能学习范式，成功应用于暗物质探测中的超小样本高效高精度处理，以及动态网络系统关键信息智能搜索等；在区块链研究方面，构建了分布式计算理论、密码学理论、软件可信性理论、异构系统交互理论、运筹和并行理论体系，实现了核心技术指标的全面优化和提升。在国内外一流期刊发表学术论文140余篇，授权国家发明专利32项，著作2本。作为第一完成人获国家技术发明一等奖、何梁何利科技进步奖、教育部自然科学一等奖、省部级及以上技术发明一等奖、国家教学成果特等奖、二等奖等奖励。因在暗物质数据处理中的贡献，获美国NASA表彰。