English
    姓名:       马世龙
    职位:      
    座机:       010-82317643
    邮编:       100191
    办公地址:       北京航空航天大学新主楼 G1135
    电子邮箱:       slma@nlsde.buaa.edu.cn
    个人主页:       主页更新中
个人介绍

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


 

通讯地址:北京市海淀区学院路37号     邮政编码:100191     电子邮箱:scse@buaa.edu.cn
版权所有:北京航空航天大学计算机学院