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