葛宁 --副教授,硕导

北航软件学院副教授。2014年博士毕业于法国图卢兹国立综合理工学院。主要科研方向为形式化方法、模型驱动工程、人工智能、特定领域软件工程等。

个人简介


葛宁,博士,副教授,硕士生导师。曾作为骨干科研人员参与多个欧盟及国际合作科研项目。目前参与研究多个国家自然科学基金项目和校企合作项目。主要科研方向为形式化方法、模型驱动工程、人工智能、面向特定领域的软件工程等。

 

科研经历      

              2017– 现在        北京航空航天大学软件学院,副教授              

              2015– 2017        法国国家科技研究院圣埃克苏佩里研究所,科研人员

                                            法国Systerel公司,研发工程师  

              2014– 2015        法国国家科学研究院系统架构分析研究所,博士后

              2012– 2012        日本国立情报学研究所,访问学者

教育经历        

              2010– 2014        法国图卢兹国立综合理工学院,软件安全与高性能计算,博士

              2007– 2010        法国ENSEEIHT,计算机与应用数学,硕士

                                            法国图卢兹国立综合理工学院,计算机与通信,硕士  

                                            北京航空航天航天大学计算机学院,计算机软件与理论,硕士生  

              2003– 2007        北京航空航天航天大学计算机学院,计算机科学与技术,学士

课程教学

              走进软件  

科研成果

在软件工程、形式化方法、系统安全和人工智能应用等领域的国际重要期刊和会议上已发表SCI/EI论文二十余篇。    

联系方式

邮件地址:gening@buaa.edu.cn

地址:北京市海淀区学院路35号北航世宁大厦10层1003 电话:010-82338333   邮编:100191 传真:010-82338510

Copyright©2002-2018 School of Software,BUAA. All Right Reserved.  京ICP备05004617号-5  

lg