undefined

姓名:           马殿富  
职位:                                  
座机:           010-82316339  
邮编:                                  
办公地址:           京航空航天大学新主楼G1117  
电子邮箱:           dfma@buaa.edu.cn  
个人主页:           主页更新中  
 个人介绍

马殿富,男,1960年生,教授,博士生导师。2001年至2011年任计算机学院院长。现任软件开发环境国家重点实验室副主任,教育部计算机类教学指导委员会秘书长,计算机学会教育工委主任,中国信标委SOA分委员会副组长,计算机工程教育专业认证专家。多年一直从事数理逻辑和软件工程建模与形式化方法等教学。2005年获国家教学一等奖,2014年获得国家教学二等奖。 一直从事服务计算及中间件、非结构化数据组织与处理以及安全关键系统方面的研究工作。提出了面向服务的描述语言及Web服务运行平台的形式化验证方法,并带领团队开发了思讯Web服务中间件平台,成为四方国件联盟-国产中间件参考实现平台的重要组成。2006年起,围绕实时系统、以AADL语言为基础,提出了安全关键实时系统设计、分析、验证及自动代码生成方法。2010年开展非结构化数据组织与处理研究。现在主要从事安全关键系统研究,开展A级安全关键软件建模与验证机器软件开发与验证环境等研究。先后主持了973重大基础研究项目二级课题、国家863计划重点项目,核高基重大专项项目以及科技部科技平台、国防科工委、总装预研基金、自然基金等项目。近年来在国际学术会议及国内核心刊物发表论文40余篇。

 

People

All Teachers

Address:Colleage Road,Haidian District,No.37   Zip code:100191   Email:scse@buaa.edu.cn

Rights Reserved:05004653  @2012-2013  Beihang University School of Computer Science & Engineering

通讯地址:北京市海淀区学院路37号  邮政编码:100191

电子邮箱:scse@buaa.edu.cn

版权所有:北京航空航天大学计算机学院