中文
      name: Shilong Ma
      job:        
      telephoneNo: 010-82317643
      postCode: 100191
      officeLocation: BUAA NEW Main Building G1135
      email: slma@nlsde.buaa.edu.cn
      homePage: Updating
Introduction

马世龙,北京航空航天大学计算机学院教授、博士生导师、软件开发环境国家重点实验室副主任。获2012年度国防科学技术进步奖二等奖、2012年度北京市科学技术奖三等奖。在国内外学术刊物和国际学术会议上发表研究论文一百多篇,应邀参加撰写英文科研专著(章节)两本。获国家科学技术学术著作出版基金资助,2010年出版专著“航天器自动化测试语言及其系统”。现任中国人工智能学会常务理事,中国人工智能学会基础理论专业委员会主任。国家新闻出版总署重大科技工程项目专家咨询委员会委员。曾任国家自然科学基金委员会第十、十一届信息科学部专家评审组成员。 曾承担国家973项目“网络环境下海量信息组织与处理的理论与方法研究”01课题“海量信息系统规律、模型和维护机理研究”的研究工作。承担过的研究项目还有:与中国地质调查局合作的国家863 B类重大项目“资源环境应用网格系统构建”及其滚动项目;与北京新奥集团、北京市建筑设计研究院合作的国家科技支撑计划科技奥运专项“奥运景观照明的IPv6数字化网络控制系统开发”,负责照明控制与管理软件平台和IPv6基础网络设计研究;与中国空间技术研究院合作的“航天器自动化测试总控软件研发”等项目。 当前主要研究方向:航空航天领域安全攸关系统可信性验证评估。这一方向取得的主要成果包括,(1)面向航天器自动化测试的通用测试语言及系统,2008年10月起作为中国空间技术研究院日常测试业务支撑系统,应用于北斗导航系列3种类型12颗卫星测试;(2)预警机任务系统自动化检测装置,填补了国内大型信息化武器装备系统软件检测的空白,已交付部队16套使用,已应用于两大军种(空军、海军),覆盖现役预警机全部型号(KJ200,KJ2000,H200)。

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