形式化方法、模型驱动工程、智能化软件工程。
科研方面,作为负责人和技术骨干承担多项国家自然科学基金、国家重点研发计划、GF基础加强、载人航天工程、民机预研、华为联合实验室项目等30余项。在ICSE、MODELS等发表论文50余篇,申请专利软著40余项,参编专著3部。担任多个国内外学术期刊审稿人和会议组织者。指导学生获得多项科技竞赛奖励。
教学方面,主讲国家一流本科课程《编译原理与技术》、北航一流本科课程《走进软件》、研究生课程《软件分析与测试》,获得全国高校混合教学设计创新一等奖1项、北京高校教师教学创新大赛三等奖1项、凡舟奖教金1项。
邮箱:gening@buaa.edu.cn
电话:010-82315195