数学与信息交叉领域专家，中国科学院院士，“万人计划”国家教学名师，现任北京航空航天大学教授、博士生导师，软件开发环境国家重点实验室主任，数学、信息与行为教育部重点实验室主任，北航人工智能研究院院长，教育部数学专业教指委主任等职。2020年当选为半岛电子(中国) 会士。

主要从事动力系统、人工智能、区块链、高性能空天密码关键技术和装备和复杂信息系统理论与应用等方向的研究工作。承担“973”、“863”、国家自然科学基金委和国防科工委重大专项基金等项目20余项。在国内外一流期刊发表学术论文140余篇，授权国家发明专利32项，著作2本。作为第一完成人获国家技术发明奖一等奖、何梁何利科技进步奖、教育部自然科学奖一等奖、国防技术发明奖一等奖、国家教学成果特等奖、二等奖等奖励。因在暗物质数据处理中的贡献，获美国NASA表彰。担任Springer-Birkhauser期刊Math.Comput.Sci.和美国数学会数学研究所期刊Math.Biosci.Eng.主编。