个人简介

个人介绍 2002年在中科院软件所获得博士学位。2005年聘任为副研究员。一直从事系统软件、可信软件、智能学习领域的科研开发工作。近年来在可信软件架构、智能软件分析、系统网络安全方面做出了一系列创新性成果，在国际国内重要刊物和会议发表了50余篇学术论文。出版著作3部。 承担课题 主持完成国家863计划项目、国家自然科学基金、国家重点研发计划等国家和省部级研究项目8项及20余项企业合作项目。目前承担国家重点研发专项课题1项，国家自然科学基金1项，国防预研和型号课题4项。 获奖和成果 荣获北京市科技进步奖二等奖；研究生优秀指导教师；大学生创新创业优秀指导教师等奖励。研究成果应用于航天领域效果显著。 发表论文 在国际国内重要刊物如IEEETrel、IEEETCC、IEEETIFS、Computers&Security、软件学报和国际知名会议如Eurosys、ICSE、ICPC、ISI、IJCNN、ISCC等发表50余篇学术论文。