删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

北京航空航天大学软件学院导师教师师资介绍简介-葛宁

本站小编 Free考研考试/2020-04-24

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


个人简介
科研经历
2017 –现在 北京航空航天大学软件学院,教师
2015 – 2017 法国国家科技研究院圣埃克苏佩里研究所,科研人员
法国Systerel公司,研发工程师
2014 – 2015 法国国家科学研究院系统架构分析研究所,博士后
2012 – 2012 日本国立情报学研究所,访问
教育经历
2010 – 2014 法国图卢兹国立综合理工学院,软件安全与高性能计算,博士
2007 – 2010 法国ENSEEIHT,计算机与应用数学,硕士
法国图卢兹国立综合理工学院,计算机与通信,硕士
北京航空航天航天大学计算机学院,计算机软件与理论,硕士生
2003 – 2007 北京航空航天航天大学计算机学院,计算机科学与技术,学士
科研成果
主持国家自然科学基金、软件开发环境国家重点实验室开放课题等多个科研项目。参与国家重点研发计划、载人航天工程、航空预研、华为公司创新研究计划等项目。多篇论文发表在形式化方法、软件工程、人工智能应用等领域的国际著名学术期刊和会议。
课程教学
走进软件、软件分析与测试、实时系统模型检测
联系方式
邮件地址:gening@buaa.edu.cn


相关话题/北京航空航天大学 软件学院

  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后72小时内有效,10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材,产品类型包含电子书、题库、全套资料以及视频,无论您是考研复习、考证刷题,还是考前冲刺等,不同类型的产品可满足您学习上的不同需求。 ...
    本站小编 Free壹佰分学习网 2022-09-19
  • 北京航空航天大学软件学院导师教师师资介绍简介-邵兵
    邵兵--受聘软件学院副教授,博士,硕士生导师。受聘软件学院副教授,博士,硕士生导师。日本熊本大学博士,软件学院研究生教学办公室副主任。个人简介2000年作为教育部公派访问赴日,之后在日本继续学习并获得博士学位。出国前曾长期在解放军信息工程大学从事机械和计算机方面的教学和科研工作,具有近20年丰富的教学及管理经验。在日学习期间,主要从事计算机技术在土木工程中的应用研究,先后在国外专业期刊和国际会议上 ...
    本站小编 Free考研考试 2020-04-24
  • 北京航空航天大学软件学院导师教师师资介绍简介-于茜
    于茜--北航“卓越百人”副教授,博士北航“卓越百人”副教授,博士。2018~2019年加州大学伯克利分校博士后,2018年博士毕业于英国伦敦玛丽女王大学电子工程与计算机学系。主要研究方向为计算机视觉和深度学习,包括跨模态的图像检索和生成,以及对人类手绘的认知。个人简介北航“卓越百人”副教授,博士。2018~2019年加州大学伯克利分校博士后,2018年博士毕业于英国伦敦玛丽女王大学电子工程与计算机 ...
    本站小编 Free考研考试 2020-04-24
  • 北京航空航天大学软件学院导师教师师资介绍简介-林广艳
    林广艳--副教授,硕士生导师。副教授,硕士生导师。主要研究方向:软件工程、面向领域的应用建模、数据分析、知识图谱、敏捷开发。个人简介林广艳,副教授,主要研究方向:软件工程、面向领域的应用建模、数据分析、知识图谱、敏捷开发。主持或参与政府重大信息系统研发或咨询项目20余项、教学研究项目9项、基金项目4项,对大型软件项目的系统分析与设计、软件过程管理、领域信息化建设等方面具有丰富的经验。在核心及其以上 ...
    本站小编 Free考研考试 2020-04-24
  • 北京航空航天大学软件学院导师教师师资介绍简介-杜孝平
    杜孝平--副教授,博士,硕士生导师。受聘软件学院教授。副教授,博士,硕士生导师。受聘软件学院教授。北京大学信息科学技术学院博士后,日本九州大学智能系统专业博士,重庆大学计算机科学硕士,中国计算机学会高级会员,CCF计算机应用专业委员会委员,北京市司法局知识产权司法鉴定专家,中国软件行业协会系统与软件过程改进分会专家委员会委员,日本九州大学北京事务所副所长,九州大学中国校友会常务理事。个人简介主要研 ...
    本站小编 Free考研考试 2020-04-24
  • 北京航空航天大学软件学院导师教师师资介绍简介-王海泉
    王海泉--副教授,博士,硕士生导师。副教授,博士,硕士生导师。北航计算机学院博士毕业。主要从事大数据计算、认知计算、无线自组织网络方面的研究。主持完成了国家自然科学基金、重点研发计划、重大科技专项项目多项。主讲《计算机网络》课程。电子邮件:whq@buaa.edu.cn个人简介王海泉博士,副教授邮件:whq@buaa.edu.cn个人简介王海泉,男,博士,副教授,硕士生导师,1978年4月生。一直 ...
    本站小编 Free考研考试 2020-04-24
  • 北京航空航天大学软件学院导师教师师资介绍简介-原仓周
    原仓周--副教授,博士,硕士生导师,受聘软件学院教授。副教授,博士,硕士生导师。受聘软件学院教授。主要从事可信软件架构、人工智能、机器学习和系统软件方面的研究。主讲操作系统、软件体系结构、系统编程等课程。2014年UIUC访问一年。获教育部-英特尔精品课程和教育部-微软精品课程。主持多项航天预研、重大专项及相关横向项目。邮箱:yuancz@buaa.edu.cn个人简介主要研究兴趣:可信软件架构、 ...
    本站小编 Free考研考试 2020-04-24
  • 北京航空航天大学软件学院导师教师师资介绍简介-康一梅
    康一梅--副教授,博士,硕士生导师。受聘软件学院教授。副教授,博士,硕士生导师。受聘软件学院教授。1994年中科院自动化所获博士学位,曾在军工研究所与IT企业工作10年,2004年经校长办公会特批调入北航软件学院,2005年创建国内第一个嵌入式软件专业,曾任副院长8年,2012年-2013年曾在美国田纳西大学、香港理工大学作为访问工作半年多。从事图像处理、人工智能、嵌入式系统研究近二十年,负责二十 ...
    本站小编 Free考研考试 2020-04-24
  • 北京航空航天大学软件学院导师教师师资介绍简介-黄坚
    黄坚--副教授,博士,硕士生导师。副教授,博士,硕士生导师。个人简介科研:从事交通大数据处理与信息服务研究,参与/主持这一领域的国家863计划、核高基重大专项等课题13项,到账经费超过600万元。已发表SCI论文5篇,EI等论文10余篇。申请专利近10项,获得授权5项。多数研究成果已通过与北京交通信息中心等单位的产学研协作进行了成果转化,形成了动态交通信息服务、公交出行信息服务等应用产品。由此获得 ...
    本站小编 Free考研考试 2020-04-24
  • 北京航空航天大学高等理工学院导师教师师资介绍简介-钟群鹏 院士
    钟群鹏中国工程院院士、教授、博士生导师,1934年生,国家安全生产专家组综合组组长,中国机械工程学会副理事长、常务理事、学术工作委员会主任委员,中国机械工程学会失效分析委员会名誉主任委员,中国职业安全健康协会副理事长,常务理事、科学技术工作委员会副主任委员,中国全国总工会劳动保护顾问组组长,中国人们解放军空军顾问,国家质检总局特种设备安全技术委员会副主任委员,国际材料检测和评价协会常务委员,中国科 ...
    本站小编 Free考研考试 2020-04-24
  • 北京航空航天大学高等理工学院导师教师师资介绍简介-李未 院士
    李未,男,1943年6月8日生,汉族,北京市人,中共党员,原北京航空航天大学校长,北京航空航天大学计算机系教授,软件开发环境国家重点实验室主任,国务院学位委员会委员,1997年当选为中国科学院院士。李未长期从事计算机软件与科学理论以及因特网应用研究。在程序设计理论与方法方面获1995年国家自然科学奖二等奖。在计算机体系结构方面主持研制推理工作站获航空航天部1996年科技进步奖一等奖。在人工智能方面 ...
    本站小编 Free考研考试 2020-04-24