形式化方法、模型驱动工程、智能化软件工程。
科研方面，承担国家自然科学基金、国家重点研发计划、高质量专项、GF基础加强、载人航天工程、民机预研、华为联合实验室项目等30余项。在ICSE、FSE、ICLR、IST等期刊会议发表论文50余篇，申请专利软著50余项，参编专著3部。担任多个国内外学术期刊审稿人和会议组织者。研究成果有效提升了航空航天复杂装备关键软件的研制效率和质量，获特色化示范性软件学院联盟关键软件技术创新成果奖、华为技术落地奖。
教学方面，主讲国家一流本科课程《编译原理与技术》、北航一流本科课程《走进软件》、研究生课程《软件分析与测试》，获得全国高校混合教学设计创新一等奖、北京高校教师教学创新大赛三等奖、凡舟奖教金，入选高校计算机专业优秀教师奖励计划。指导学生获得多项国家级和省部级科技竞赛奖励。
