日韩生活片在线观看

用户∶  密码∶   

undefined

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

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

 

友情链接

中国计算机学会 北京航空航天大学 北京市教育委员会 计算机学报 软件学报 北航学报

通讯地址:北京市海淀区日韩生活片在线观看路37号??邮政编码:100191

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

版权所有:日韩生活片在线观看

日韩生活片在线观看-大象传媒18勿进-大象回家视频一区二区