首页 / 师资队伍 / 正文

葛宁
副教授,博士,博士生导师。中国计算机学会形式化方法和软件工程专委会委员。2014年博士毕业于法国图卢兹国立综合理工学院,2014-2017年在法国IRT-Saint Exupéry研究所和CNRS-LAAS研究所任Research fellow。主讲《编译原理与技术》、《软件分析与测试》、《走进软件》课程。

 

 

主要研究方向:形式化方法、模型驱动工程、智能化软件工程。

作为项目负责人或技术骨干主持和参与国家自然科学基金、国家重点研发计划、GF基础加强、载人航天工程、民机预研、华为合作等研究项目和课题十余项。在形式化方法、模型驱动工程、软件工程等领域的学术期刊和会议发表论文三十余篇。担任多个学术期刊和会议的审稿人。

 

邮箱:gening@buaa.edu.cn

电话:010-82315195

上一条:谭火彬 下一条:于茜

北京市海淀区学院路35号北航世宁大厦10层1003 招生:010-82338333   传真:010-82338510  支持咨询:xinxihua@buaa.edu.cn

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