1980.9-1984.9 吉林大学 学士学位

1984.9-1987.9 哈尔滨工业大学 硕士学位

1990.9-1993.12 北京航空航天大学 博士学位

2009.5-2015.2 北京航空航天大学 党委副书记、校长

   2021.8-至今 教育部 党组书记、部长

长期从事计算机软件与理论、互联网软件技术与系统研究，他系统地研究了网络资源的可管理性、可协同性和可信任性问题，完成了服务网格中间件系统 CROWN，建立了面向互联网的资源共享与协同环境；提出了一种从需求分析到软件设计、开发的自动转换方法，完成了面向领域的软件开发平台；通过建立安全协议代数模型，提出了高效的协议安全性自动分析算法，研制了协议安全自动分析系统。

2009年当选中国科学院院士。承担过国家自然科学基金重大项目、杰出青年基金、国家863及973计划、国防预研及型号等项目；获国家发明专利19项。以第一完成人获国家技术发明二等奖1项，国家科技进

步奖二等奖2项，部级一等奖5项。