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

个人简介:
       副教授,博士,博士生导师。中国计算机学会形式化方法和软件工程专委会委员。2014年博士毕业于法国图卢兹国立综合理工学院,2014-2017年在法国IRT-Saint Exupéry研究所和CNRS-LAAS研究所任Research fellow。主讲《编译原理与技术》、《软件分析与测试》、《走进软件》课程。

主要研究方向:

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

作为项目负责人或技术骨干主持和参与国家自然科学基金、国家重点研发计划、GF基础加强、载人航天工程、民机预研、华为合作等研究项目和课题十余项。在形式化方法、模型驱动工程、软件工程等领域的学术期刊和会议发表论文三十余篇。担任多个学术期刊和会议的审稿人。

邮箱:gening@buaa.edu.cn

电话:010-82315195