热点话题人物,欢迎提交收录!
最优雅的名人百科,欢迎向我们提交收录。
葛宁
2023-05-06 09:59
  • 葛宁
  • 葛宁 - 副教授-北京航空航天大学-软件学院-个人资料

近期热点

资料介绍

个人简历


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

研究领域


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

近期论文


相关热点

扫码添加好友