学 位 : 博士学位
职 称 : 教授
单 位 : 北京航空航天大学[1]. 1996.9 - 2000.7
重庆邮电大学 | 计算机科学与技术 | 大学本科毕业 | Bachelor's Degree
[2]. 2000.9 - 2003.7
重庆邮电大学 | 计算机科学与技术 | 硕士研究生毕业 | Master's Degree
[3]. 2003.9 - 2006.8
中国科学院计算技术研究所 | 计算机科学与技术 | 博士研究生毕业 | 博士学位
[1]. 北京航空航天大学 | 自动化科学与电气工程学院 | 系研究生主任 | 教授，博士生导师 | 在职
在科研工作方面，已发表IEEE Trans.论文5篇，Q1区论文16篇，授权专利10项。主持国家自然科学基金3项、北京市英才计划、航空基金等二十余项科研项目，其中相关横向课题12项。围绕复杂软件可靠性建模与设计，复杂软件失效机理分析和高安全软件的适航管理三个科学问题展开研究，相关方法在C919、MA700等若干型号上进行了成功应用。未来计划开展无人机智能软件可信性的研究。
在教学方面，承担2门本科课和1门研究生课程，其中研究生课程《软件可靠性工程》获得校级精品课改革建设项目，共指导硕士研究生19人，博士研究生5人。所指导研究生3次获得国家奖学金，1次获得校级优秀毕业论文，数次获得院级优秀硕士学位论文。
在国际合作方面，长期与美国、日本、意大利、德国、澳大利亚等知名学者进行交流，作为高级访问学者在美国杜克大学、澳大利亚悉尼科技大学等进行了多次学术访问。
