葛宁
职  称: 教授
学  历: 博士研究生
办 公 室: 新主楼G919
电  话: 010-82315195
岗  位: 博士生导师
电子信箱: gening@buaa.edu.cn

个人简介:
       教授,博士,博士生导师。任中国计算机学会形式化方法和软件工程专委会委员。博士毕业于法国图卢兹国立综合理工学院,法国CNRS-LAAS研究所博士后,曾在法国IRT-Saint Exupéry研究所工作,日本NII访问学者。

主要研究方向:

形式化方法、模型驱动工程、智能化软件工程。

科研方面,作为负责人和技术骨干承担多项国家自然科学基金、国家重点研发计划、GF基础加强、载人航天工程、民机预研、华为联合实验室项目等30余项。在ICSE、MODELS等发表论文50余篇,申请专利软著40余项,参编专著3部。担任多个国内外学术期刊审稿人和会议组织者。指导学生获得多项科技竞赛奖励。

教学方面,主讲国家一流本科课程《编译原理与技术》、北航一流本科课程《走进软件》、研究生课程《软件分析与测试》,获得全国高校混合教学设计创新一等奖1项、北京高校教师教学创新大赛三等奖1项、凡舟奖教金1项。

邮箱:gening@buaa.edu.cn

电话:010-82315195

上一篇:王啸

下一篇:杨晴虹