葛宁 - 北京航空航天大学

个人简介

副教授，博士，博士生导师。中国计算机学会形式化方法和软件工程专委会委员。2014年博士毕业于法国图卢兹国立综合理工学院，2014-2017年在法国IRT-Saint Exupéry研究所和CNRS-LAAS研究所任Research fellow。主讲《编译原理与技术》、《软件分析与测试》、《走进软件》课程。作为项目负责人或技术骨干主持和参与国家自然科学基金、国家重点研发计划、GF基础加强、载人航天工程、民机预研、华为合作等研究项目和课题十余项。在形式化方法、模型驱动工程、软件工程等领域的学术期刊和会议发表论文三十余篇。担任多个学术期刊和会议的审稿人。

研究领域

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

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