北京航空航天大学

导师详细信息

姓名：马世龙

性别：男

出生年份：1953

职称：教授

院系：计算机学院

首次聘任导师时间：2004

现聘任导师一级学科名称：软件工程

现聘任导师二级学科名称：软件工程

聘任在第二学科培养博士生专业名称：无

聘任在自主设置学科培养博士生专业名称：无

主要研究方向及特色：网络环境下计算模型、逻辑和计算动态行为研究，可信软件研究，面向航空航天领域的安全攸关系统可信性研究

电子信箱：slma@nlsde.buaa.edu.cn

办公电话：1082317643

办公地点：北航新主楼G座11层1135

通信地址：北京市海淀区学院路37号北航

个人简介：

马世龙，男，1953年7月24日出生，北京人，汉族。1984年6月在北京航空航天大学计算机系研究生毕业，获硕士学位。后在科研工作中获（论文）博士学位。现任北京航空航天大学计算机学院教授，担任计算机科学与技术一级学科和软件工程一级学科博士生导师，软件开发环境国家重点实验室副主任。主讲研究生课程“计算理论”、本科生课程“计算引论”。获2012年度国防科学技术进步奖二等奖、2012年度北京市科学技术奖三等奖。获国家科学技术学术著作出版基金资助，2010年出版专著“航天器自动化测试语言及其系统”。在国内外学术刊物和国际学术会议上发表研究论文一百多篇；应邀参加撰写英文科研专著（章节）两本。2005年应邀出版译著“类型和程序设计语言”（国外计算机科学教材系列）。

现任中国人工智能学会常务理事，中国人工智能学会基础理论专业委员会主任。国家新闻出版总署重大科技工程项目专家咨询委员会委员。曾任国家自然科学基金委员会第十、十一届信息科学部专家评审组成员。曾任Frontiers of Computer Science in China第一届编委，中国人工智能学会会刊“智能系统学报”、“中国人工智能学会通讯”现任编委。担任2010年“亚洲软件基础学术研讨会”（AWFS2010，2010年5月，北京）组织委员会主席。2011年“绿色能源、材料、制造技术与应用”国际会议（2011年7月，重庆）会议主席。

研究方向为：网络环境下计算模型、逻辑和计算动态行为研究，海量信息处理的计算模型研究。曾承担国家973项目“网络环境下海量信息组织与处理的理论与方法研究”01课题“海量信息系统规律、模型和维护机理研究”的研究工作。作为负责人承担过的研究项目还有：与中国地质调查局合作的国家863B类重大项目“资源环境应用网格系统构建”及其滚动项目；与北京新奥集团、北京市建筑设计研究院合作的国家科技支撑计划科技奥运专项“奥运景观照明的IPv6数字化网络控制系统开发”，负责照明控制与管理软件平台和IPv6基础网络设计研究；与中国空间技术研究院合作的“航天器自动化测试总控软件研发”等项目。

当前特色研究方向：可信软件、面向航空航天领域的安全攸关系统可信性验证与评估研究。这一方向取得的主要成果包括，1、面向航天器自动化测试的通用测试语言及系统，2008年10月起应用于中国空间技术研究院日常测试业务，完成北斗导航系列3种类型12颗卫星测试；2、***任务电子系统自动化检测装置，填补了国内大型信息化武器装备系统软件检测的空白，列装并交付，已应用于空军和海军现役**机。