首页 / 师资队伍 / 正文

葛宁
葛宁,副教授、博士、硕士生导师。2014年博士毕业于法国图卢兹国立综合理工学院。主要科研方向为形式化方法、智能化软件工程、智能系统等。


科研经历

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

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

法国Systerel公司,研发工程师

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

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

教育经历

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

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

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

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

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

科研成果

主持国家自然科学基金、软件开发环境国家重点实验室开放课题等多个科研项目。参与国家重点研发计划、载人航天工程、航空预研、华为公司创新研究计划等项目。多篇论文发表在形式化方法、软件工程、人工智能应用等领域的国际著名学术期刊和会议。

课程教学

走进软件、软件分析与测试、实时系统模型检测

联系方式

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

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

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

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