葛宁，博士，北京航空航天大学软件学院讲师硕导。2014年博士毕业于法国图卢兹国立综合理工学院，主要研究方向包括形式化验证和智能化软件工程。2014年-2015年在法国国家科学院系统架构分析研究所从事形式化方法博士后研究。2015年-2017年在法国国家科技研究院圣埃克苏佩里研究所从事形式化方法研究与应用。在法国学习工作期间曾参与多个面向航空、航天和轨道交通领域安全关键系统开发的预研项目。