同机构人员：

• 葛宁
  葛宁，博士，北京航空航天大学软件学院讲师硕导。2014年博士毕业于法国图卢兹国立综合理工学院，主要研究方向包括形式化验证和智能化软件工程。2014年-2015年在法国国家科学院系统架构分析研究所从事形......