1、北京航空航天大学计算机学院硕士研究生招生手册北京航空航天大学计算机学院二零一四年九月硕士导师名单1. 李未院士李未，北京航空航天大学计算机学院教授，博士生导师，中国科学院院士，国务院学位委员会委员，第十、十一届全国政协委员，科技部专家顾问委员会委员，教育部咨询委员会委员，教育部计算机教学指导委员会主任，电子学会副理事长。李未院士是我国著名的计算机科学家。1943 年 6 月 8 日出生，1966 年北京大学数学与力学系毕业，1983 年获英国爱丁堡大学计算机科学博士学位。2002-2009 年任北京航空航天大学校长。现任软件开发环境国家重点实验室主任。曾任国家中长期科技发展规划大型飞机重大专项
2、论证专家组组长，以及实施方案论证专家委员会主任委员。李未院士在实用并发语言操作语义、形式理论序列和修正演算等方面取得了开创性研究成果。他对科学理论的进化、软件及其功能描述中的缺陷和程序错误的定位和修复进行了系统深入的研究，提出了关于版本序列的理论，建立了对错误进行修正的形式演算系统（R-演算） ；设计了描述软件开发方法的形式语言，提出了可信软件开发方法的基本理论；在 2007 年和 2010 年分别出版了中英文专著数理逻辑基本原理与形式演算 。李未院士在我国率先倡导进行海量信息计算的理论与方法研究，曾两次担任国家重点基础研究发展规划（973）项目的首席科学家。李未院士 1995 年获国家自然科
3、学奖二等奖一项，1997 年获何梁何利科技进步奖一项，2004 年获国家级科技进步二等奖一项，2005 年获国家教学成果一等奖一项。李未院士任中国科学：信息科学中英文版和Frontiers of Computer Science in China的主编。在国际、国内学术刊物和国际学术会议发表学术论文百余篇，中文专著 2 部，英文专著 1 部。86 年起担任博士生导师，培养博士后 8 名、博士研究生 52 名和硕士生百余人。目前主要研究方向包括： 计算机科学理论与软件基础 非结构化数据理论与实践 大数据的分析与处理2. 赵沁平院士赵沁平，北京航空航天大学计算机学院教授，博士生导师，中国工程院院士
4、，中国系统仿真学会理事长，虚拟现实技术与系统国家重点实验室主任。 赵沁平教授多年来在计算机科学领域进行虚拟现实技术和人工智能基础研究，先后承担了国家自然科学基金重大、重点项目、国家 863 计划、973 计划、国防科技预先研究等 20 余项国家科研任务。在我国率先开展了机器类比推理的研究,提出一种类比推理计算模型；主持设计实现了芯片级类比推理器，并采用软硬件结合的方式构建了类比推理机系统。作为我国最早从事虚拟现实技术的研究者之一，坚持开展虚拟现实技术的研究、开发与应用。建立了我国第一个基于广域专用计算机网络的可支持异地分布式虚拟现实应用的支撑环境 DVENET；主持研制了具有自主知识产权的分第
5、 1 页布交互仿真应用程序开发与运行平台 BH _RTI、和实时三维图形平台天绘；基于上述成果组织开发了若干有影响的虚拟现实应用系统。创建了中国计算机学会虚拟现实与可视化技术专业委员会。兼任中国科学F 辑、 计算机研究与发展副主编， 计算机学报 、 软件学报等学术刊物编委。在国际、国内学术刊物和国际学术会议发表学术论文 180 余篇，出版专著 3 部。获国家发明专利授权 50 余项。获国家科技进步一等奖 1 项、国家科技进步二等奖 2 项、国际技术发明二等奖 1 项，获省部级科技奖 9 项。已培养博士 56 人，硕士 90 余人。3. 怀进鹏院士怀进鹏，博士，北京航空航天大学计算机学院教授，博
6、士生导师，中国科学院院士，现任工业和信息化部副部长。1962 年 12 月 20 日生于黑龙江省哈尔滨市，1987 年硕士毕业于哈尔滨工业大学计算机与电气工程学院后，分配到北京航空航天大学任教，1990 年师从我国著名的计算机科学家、中科院院士李未教授，1993 年获博士学位，同年获国家教委首批“优秀中青年科技人才”计划资助，于 1995 年 9 月至 1996 年 9 月赴美国哥伦比亚大学计算机学院进行学术交流与合作研究。怀进鹏教授是国家信息化专家咨询委员会成员、国家十五、十一五 863 计划计算机主题专家组组长、国家电子政务标准化总体组组长、中国计算机学会常务理事。近 20 年来，主要从事
7、计算机软件与理论、网络计算、网络信息安全、大数据计算等方面的研究和开发工作，具有优秀的专业素质、开拓能力和创新意识。已主持国家 863 计划、自然科学基金、国防基金、攻关计划、国际合作项目、信息产业部电子发展基金、国防重大研究计划和国防预研计划和国家信息安全中心等研发计划项目，并主持了国防科工委、工商行和北京市等多项大型信息系统研制。近年来，在网络软件、Web 服务技术、网络安全及大数据计算方面取得了重要的研究和实践结果，发表学术论文 100 余篇，获国家技术发明二等奖 1 项，国家科学技术进步二等奖 2 项，省部级科学技术进步一等奖 5 项。怀进鹏教授的招生联系人是：刘旭东老师，邮箱：,办公
8、地点： G1116，电话：823162854. 李德毅院士李德毅，中国工程院院士，国际欧亚科学院院士，第十届全国政协委员，国家自然科学基金委员会信息科学部主任，中国电子学会副理事长，中国电子学会云计算专家委员会主任李德毅是中国人工智能学会副理事长计算机工程和人工智能专家。1944 年 11 月生于江苏泰县。1967 年毕业于南京工学院无线电工程系。1983 年在英国爱丁堡海里奥特-瓦特大学获得计算机科学与工程博士学位。1995 年和 1996 年在美国密歇根大学、加拿大西蒙弗雷泽大学、香港中文大学做高级访问学者。1999 年当选中国工程院院士。2003 年当选第十届全国政协委员。2004 年当
9、选欧亚科学院院士。国际学刊Knowledge and Information Systems 、中国科学、中国电子学报、自动化学报、软件学报、计算机学报等编委。李德毅院士在国际上最早提出“控制流数据流”图对理论，描述时间与空间的关联性，给出了基本图元、图对、连接法则、触发机制、设计语言等一整套实现方法，用于复杂系统的结构优化。图对理论在伦敦获得 1985 年 IEEE 主席授予的计算机和控制类年度期刊最佳学术论文奖。他把关系数据模型映射成为谓词演算，证明了关系代数运算与逻辑推理中符号问题求解的对等第 2 页性，并用逻辑程序设计语言 PROLOG 进行开发，实现了一个关系数据库管理系统，出版专著
10、 A Prolog Database System；进而又把这一成果扩展到模糊关系数据库领域，出版专著 A Fuzzy Prolog Database。这两部专著被世界许多大学图书馆收藏，并被广泛引用。他提出了不确定性知识的表示和推理理论，用自己创造的云模型表示概念的随机性、模糊性以及随机性和模糊性之间的关联性，用期望、熵和超熵作为数字特征实现概念的定性定量转换，给出了云模型构成的多条定性规则同时激活的推理策略和计算方法，成功实现了三级倒立摆的各类动平衡姿态的灵活切换。用云控制倒立摆的论文在 1999 年第 14 届世界自动控制联合会上获得杰出论文奖。这是世界自动控制联合会成立 42 年来中国
11、学者首次获得此奖项。2002 年云发生器获得国家发明专利。他将物理学方法用于认知科学的研究，创立了认知物理学理论，用云模型表示自然语言中的概念，用扩展了的云模型表示带有不确定性的网络拓扑结构，用数据场方法将海量高维数据简约成适量低维数据，分别在数据空间、特征空间和发现状态空间进行数据挖掘和知识发现研究，寻找不同尺度上的自相似性，寻找不确定性中的确定性，寻找复杂系统的演化规律，拓展了人工智能的研究方向，2005 年出版专著不确定性人工智能 ，并于 2007 年由 CRC 出版英文版本Artificial Intelligence with uncertainty 。李德毅院士长期致力于指挥自动化
12、系统工程和军队信息化工作，先后获得国家科技进步奖二等奖 2 项、三等奖 2 项，军队科技进步奖一等奖 3 项、二等奖 4 项，主编技术丛书 7 种，培养博士、硕士研究生 40 余名。1990 年被人事部授予有突出贡献的回国留学人员，1991 年享受政府特殊津贴，1992 年获国家有突出贡献的中青年专家称号，2005 年获得军队专业技术重大贡献奖、国家何梁何利基金奖。发表论文 140 多篇，出版中文专著 3 本、英文专著 2 本。研究方向：不确定性人工智能认知物理学网络化数据挖掘互联网计算李德毅老师的招生联系人是：刘禹老师，邮箱：buaa_,，办公地点： G1106，电话：823381275.
13、徐洁教授徐洁，博士，教授，博士生导师，国家千人计划特聘专家, “长江学者”讲座教授，英国利兹大学（University of Leeds）讲座教授，利兹大学计算及系统科学研究院院长，英国国家 White Rose Grid e-Science 中心主任。所领导的团队和中心是英国政府 2.5 亿英镑 e-Science 战略计划的核心研究团队之一，已连续十年获得英国国家资助。英国纽卡斯尔大学(University of Newcastle upon Tyne)客座教授，曾任英国杜伦大学（Durham University）讲座教授。连续三届担任英国 EPSRC Peer Review Colle
14、ge 专家、英国国家工贸部（ Department for Business, Innovation & Skills）网络研究领域专家组成员、英国 e-Science 计划国家战略性研究特聘专家、及英国政府 e-Science 访华代表团成员。第 3 页IEEE Conference on Cloud Engineering 发起人之一、是 IEEE SRDS/ISORC/HASE/SOSE 等国际会议的终身顾问委员。徐洁教授系大规模分布式软件系统及可信计算（Dependable Computing）领域的专家，强调理论与工程应用并重，已主持 20 多项英国国家级基金及欧共体研究开发项目，总
15、计金额过 3 千万英磅，创多项国际领先成果。2001 年获得国际分布式计算和网络领域的“BCS/AT&T Brendan Murphy Prize” 奖，2008 年荣获 EPSRC（英国国家工程与物理科学基金会）的战略性研究平台奖（Platform 2008-2013）, 并于 2012 年荣获“IEEE ISORC Kane Kim Memorial Prize”。他的研究主要集中于构建可靠网络软件系统的理论、科学原理及方法、实际应用系统的研发和评估，为此领域的研究发展奠定了科学基础。在 IEEE Transactions on Computers、IEEE Transactions on
16、 Parallel and Distributed Systems 及 IEEE Computer 等国际学术期刊及会议上已发表学术论文 300 余篇。他领导的十年大型工业应用项目（总计八百万英磅投入，2003-2013） ， 研发了高可信的分布式飞行器引擎维护及险情应急系统。该系统已应用到 Rolls-Royce 公司在世界各地的生产系统中。从 2005 年起，徐洁博士获任北京航空航天大学特聘客座教授，由英国国家 EPSRC 基金和中国国家 863 计划支持，成功建立了 CoLaB 国际联合实验室。合作研制了 CROWN-C 高可信、基于服务的网格中间件系统，并在此基础上合作研发了新的可信技
17、术和高效虚拟计算系统，获中国国家自然科学基金重大研究计划项目和国家 973 “高效可信的虚拟计算环境基础研究”项目的资助。他领导开发的复杂数据定义与分析模型技术已分别应用到阿里云和英国 Adapt 公司的调度平台中，并在其生产系统中承担系统日常巡检监控、用户行为分析、系统模块优化等重要作用。研究方向：高效虚拟计算系统、高可信互联网计算、大规模分布式软件徐洁老师的招生联系人是：沃天宇老师，邮箱：办公地点： G506，电话：823392746. 钱德沛教授钱德沛，男，教授，博士生导师，中德联合软件研究所所长。1977 年毕业于西安交通大学计算机专业，1982 年至 1984 年由国家公派在美国读研
18、究生，1984 年 5 月在美国德克萨斯州北德州立大学获硕士学位。1991 年 6 月至 92 年 3 月作为高级访问学者，在德国汉诺威大学计算机系统结构与操作系统研究所进修工作。1992 年起任教授，1996 年被聘为博士生导师。自 1996 年起任国家863 计划专家组专家，现任国家 863 计划“高效能计算机及应用服务环境”重大项目总体组组长、国家 973 计划信息领域咨询专家组成员、国家基金委重大研究计划“高性能科学计算的基础算法预科计算建模”指导专家组成员、CNGI 专家委员会委员。曾主持完成国家自然科学基金、863 计划、973 计划、国际合作计划等多项课题的研究工作，发表论文 3
19、00 余篇，获国家科技进步二等奖一项，北京市科技进步一等奖一项。主要研究方向包括高性能计算机体系结构、分布式系统、众核处理器并行编程等。7. 熊璋教授熊璋，教授、博导，现任北京航空航天大学学术委员会副主任、先进计算机应用技术教育部工第 4 页程研究中心主任、深圳数据活化（智慧城市）重点实验室主任、863 计划主题项目“智慧城市（一期） ”首席专家，教育部跨世纪人才，全国优秀教师，国家级精品课主讲教师，有突出贡献的回国人员，北京市教学名师曾赴美国密西根州立大学计算机系学习，并对几十个国家作过技术交流和访问。熊璋教授在多媒体技术、大规模应用工程化、无线传感器网络、数据活化等方面有持续深入的研究，主
20、持了多项与此相关的大型重点科研项目，包括国家 863 计划、国家自然科学基金、国家科技支撑计划、航空基金、航天基金等；同时成功实施了人民大会堂、人大常委会、全国政协、党的十八大、香港澳门立法会等大型多媒体会议系统，多个国内大型国际机场、地铁线路弱电系统和标准化设计，南水北调工程相关信息化管理系统等大型工程项目；曾获国家科技进步一等奖、北京市科学技术奖、霍英东青年教师奖等多种国家和部级奖励。近年来在国内外高水平学术期刊和会议发表论文被 SCI/SCIE 收录 60 余篇，已授权国家发明专利 80 余项，多名硕、博士研究生获研究生创新基金资助和国家奖学金奖励。近年已有 8 名研究生获得国家公派留学
21、资格，前往英国剑桥、美国卡耐基梅隆、加州大学伯克利分校、法国格勒诺布尔国立综合理工学院等大学进行交流学习。8. 祝明发教授北京航空航天大学教授、博士生导师、计算机系统结构研究所所长。1970 年毕业于北京大学物理系, 1985 年获美国密西根韦恩州立大学计算机工程博士学位. 兼任联想集团首席科学家、中国科学院研究生院高级强化课主讲教师. 曾获国家科技进步一等奖 1 项、国家科技进步二等奖 4 项、中国科学院科技进步特等奖 2 项、中国科学院科技进步一等奖 2 项、北京市科学技术奖一等奖 1 项、中国信产部信息产业重大技术发明奖 1 项以及国家 863 计划十周年先进个人奖、北京中关村新技术开发
22、区首届杰出贡献人才奖。在国内外学术刊物发表学术论文 60 余篇。1970 年代参加我国第一台百万次大型计算机（北大 150 机）研制工作，任运控（CPU）组组长。曾任中科院计算技术研究所研究员和博士研究生导师、国家智能计算机研究开发中心副主任，组织指挥了国家 863 计划五个型号的曙光系列大规模并行计算机和超级服务器研制及产品化工作。参与组建和管理 7 个国家高性能计算中心并任国家高性能计算中心（北京）主任，组织完成 500 多项国家及省市重要课题的计算。2002 年，组织研制成功联想“深腾 1800”万亿次计算机，是世界上第一个实际运算速度超过每秒一万亿次的机群产品，性能列 2002 年 1
23、1 月世界 TOP500 第 43 位及中国 TOP50 第 1 位，是第一台入围世界 TOP500 的国产计算机。2003 年，组织研制成功“国家网格主结点联想深腾6800 超级计算机” ，性能列 2003 年世界 TOP500 第 14 位及中国 TOP100 第 1 位，整机效率列世界高端通用超级计算机第 1 位。2008 年，组织研制成功深腾 7000 高效能计算机，以 106.500 万亿次的 Linpack 值排名世界 TOP500 第 19 位。2010 年组织研制成功基于国产龙芯处理器的 16 路高性能高密度低功耗高端服务器。 主要研究方向: 高性能计算机体系结构 虚拟化与云计
24、算 VLSI 与 ASIC 设计第 5 页9. 尹宝林教授尹宝林，教授，博士生导师，1973 年毕业于北京航空学院电子工程系，1984 年毕业于英国爱丁堡大学人工智能系，获博士学位。现任北航软件开发环境国家重点实验室副主任。主讲了本科和研究生的 Unix 程序设计环境、计算机图形学、图象处理、C 语言程序设计等多门课程的教学工作，并先后培养了博士、硕士研究生 30 余名。主要科研工作：主持和主要参加完成了国家和部委等各种课题多项，其中主要有：机器人程序设计语言、加强型智能工作站及知识程序开发环境、演绎数据库系统 DDBS、汉语语音识别技术、MISC3270 C 语言编译系统、Linux 操作系
25、统的移植、MEMS CAD/CAE 技术、信息安全技术和平台安全技术等。获省部级科技进步一、二、三等奖多项。1994 年起获政府特殊津贴，1997 年被航空工业总公司授予有突出贡献专家称号。目前主要从事信息系统安全、数字水印技术、分布式应用和工作流、Linux 桌面应用系统等方面的研究。10. 樊文飞教授樊文飞，男，博士，英国爱丁堡大学信息学院主任教授，英国爱丁堡皇家学院院士，国家 “千人计划”特聘专家，教育部长江学者讲座教授，ACM Fellow，曾为美国贝尔实验室研究员和科学家（20012009） 。主要研究方向为数据库系统与理论、数据质量、查询语言、计算复杂性、社交网络数据分析。近年来，
26、在大数据计算的复杂性理论和近似算法、基于图数据的社交网络数据分析、Web 数据库、XML 数据管理、 异构数据集成和数据质量等领域开展了深入系统的研究工作，取得了突出的研究成果。在国际计算机顶级学术刊物和学术会议上发表学术论文 140 余篇。先后获得 Google Faculty Research Award（2015） 、ACM PODS 十年最佳论文奖（Alberto O. Mendelzon Test-of-Time Award, 2015、2010） 、VLDB 最佳论文奖（2010） 、英国计算机领域最高奖项罗杰尼达姆奖(2008)、ICDE 最佳论文奖（2007） 、中国自然科学基
27、金会颁发的海外杰出青年学者奖（2003） 、 Elsevier 网络科学刊物年度最佳论文和最杰出作者奖（2001） 、美国国家科学基金会颁发的事业奖（2001） ，获得英国工程与物理科学研究基金、加拿大国家研究基金、英国工程与物理科学研究基金、美国国家科学基金、英国生物技术和科学基金等项目支持。成果已在美欧工业界得到应用，领导开发的“XML 数据转换，查询和管理的综合系统”目前已被朗讯和欧洲生物中心采用，并被纳入 W3C XML Schema 标准。11. 龙翔教授龙翔，博士，教授，博士生导师。现任国家信息安全标准委员会委员，CCF 体系结构专委会委员，北航计算机学院计算机科学技术系主任，系统
28、结构研究所副所长，系统结构学科责任教授。龙翔 1985 年毕业于北京大学数学系信息专业，之后转入北京航空航天大学计算机系从事超大规模集成电路自动布局算法及五代机体系结构方面的研究工作，并分别于 1988 年和 1994 年获工学硕士和博士学位。1994 年留校任教至今，长期从事计算机体系结构、并行与分布式处理和嵌入式系统设计等方面的研究工作。作为技术骨干和硬件系统的设计人，在李未院士的领导下参与了国家 863 重点课题“加强型智第 6 页能工作站”的研制。先后完成了系统结构的仿真、总体硬件系统（包括多块专用集成电路） 、相关编译及运行环境的设计开发及集成调试和测试工作。 “加强型智能工作站”是
29、当时国内运行速度最快、系统集成度最高且唯一在体系结构上同时支持 Prolog 及 Lisp 的智能处理系统，受到美国海军部亚洲情报中心及日本五代机研究中心的高度重视与肯定，国内同行专家们一致认为该项目达到当时的国际先进水平。之后，在国家 863 重点课题的支持下，主持了“具有分布共享存储机制的可扩展机群系统”的研制工作，完成了以带有共享存储器的交换机 SM(Shared Memory)/Switch 为核心，可同时支持共享存储和消息传递机制的机群系统 SNOW(Shared-Memory based Network of Workstations)的设计和研发，并研发了可运行于 SNOW 系统
30、的相关分布式软件环境，包括并行编程环境、并行调试工具、并行科学计算库、并行 I/O 系统和可视化环境等。该项目的体系结构设计思想在当时具有较高的创新性，几年后国外才出现相似的原型产品。2000 年以后，龙翔教授的研究工作拓展到嵌入式系统设计及信息安全领域，并主持和参与了多个科研项目和产品的研发工作。其中“心脏无创血流动力检测系统”与美国 BioZ 公司的产品在总体功能与性能上相当，并在国内多家医院得到临床应用；“面向金融领域的 DDN 网络的链路加密系统”在北京工行得到全面应用，该系统中的 E1 密码机是国内第一台通过国家商密委审批的多通道密码机，填补了国内的产品空白。为相关的合作企业创造了良
31、好的经济效益。工作以来，先后被评为国家 863 计划先进工作者（3 等奖） 、原中航总航空院校试验室先进工作者、北京市优秀青年教师及北京市高等学校青年学科带头人，并获得了多项国家及省部委级的技术奖励。其中国家科学技术二等奖 2 项（分别排名第 3 和第 5）及北京市、国防科工委和原中国航空工业总公司科学技术一等奖 3 项。在国际、国内学术刊物和国际学术会议发表学术论 80 余篇，译著 2 部。目前的研究方向：体系结构：面向领域的新型高效多核（异构）体系结构、新型可重构体系结构、软硬件结合的系统重构和恢复技术等。操作系统及虚拟化：面向领域的高效实时操作系统关键技术、新一代操作系统的内核原理与机制
32、、面向多核和高效能计算的虚拟化技术等。嵌入式系统：主要包括嵌入式系统设计、开发环境等方面的研究工作；嵌入式系统应用，特别是移动环境下（如 Android， IOS 等）新型应用的研究开发工作。 联系方式：Mail：Tel： 8233978512. 李波教授李波，1966 年生，1986 年在重庆大学计算机系获学士学位，1989 年在西安交通大学计算机系获硕士学位，1993 年在北航计算机系获博士学位，现为北航计算机学院教授、博士生导师，数字媒体北京市重点实验室主任，是国家 973 计划项目首席科学家，总装备部某型号总设计师。获国家杰出青年科学基金项目资助、受聘长江学者特聘教授，入选国家百千万人
33、才工程并授予“有突出贡第 7 页献中青年专家；兼任“十二五”国家 863 计划虚拟现实与数字媒体技术主题专家组成员，国家自然科学基金委员会第十二届、十三届信息科学部评审组专家、总装卫星应用技术专业组成员、国务院学位委员会第七届学科评议组（软件工程组）成员、中国计算机学会多媒体技术专业委员会主任等学术职务。目前主要研究方向为：数字媒体技术，先进视频/图像压缩与传输技术，视频与图像大数据内容分析与智能服务，嵌入式并行信息处理，星载机载智能信息处理，多源遥感信息融合，人工智能应用。作为负责人已完成武器装备预研、武器装备型号、863 计划、国家自然科学基金等课题 40余项；在本领域重要期刊和国际学术会
34、议发表学术论文 100 余篇，获国家技术发明二等奖 1 项、省部级科技进步奖 8 项，有授权国内外发明专利 40 余项。多项研究成果已投入实际应用，其中在视频分析与传输方面的成果已在边海防哨所视频监视系统和无人机图像处理系统大批量使用，在遥感图像处理方面的成果已用于卫星侦察地面应用系统建设和星载智能信息处理，取得了显著的社会、经济或军事效益。办公电话：82317608办公地点：新主楼 F318E-mail： or 13. 吴威教授吴威，男，1961 年生，博士，教授，博士生导师，虚拟现实技术与系统国家重点实验室副主任，中国计算机学会虚拟现实专委会主任。主要从事虚拟现实与可视化技术、图形与图像
35、技术、计算机视觉技术等研究。获得国家科技进步一等奖 1 次、国家科技进步二等奖 2 次、部级一等奖 2 次、部级二等奖 1 次，获得国家发明专利 58 项，在国内外重要期刊与会议上发表学术论文近 120 篇。2001 年主持完成了山西省大型工程重点项目“山西省大运高速公路可视化信息管理系统”，集地理信息规划功能、高速公路建设数据库功能、高速公路设计全方位剖面功能为一体，有关研究成果获山西省优秀计算机软件一等奖、全国第八届优秀工程设计软件银质奖、山西省科学技术二等奖。2003 年主持完成了国家“863”项目“面向信息对抗体仿真系统 ”，完成了国家“863” 项目“大规模分布式虚拟逼真环境” ，建
36、立了分布式虚拟综合环境，支持全天候协同仿真训练应用，有关研究成果获中国高校科技进步一等奖、国家科技进步二等奖。2005 年主持完成了国家重点基础研究发展计划“973”课题 “分布式虚拟环境技术”、国家自然科学基金项目“三维地理信息可视化技术与系统”，建立了支持快速开发的仿真体系结构，研制了一套可以支持大规模、多盟员、跨路由的分布交互仿真运行平台。有关研究成果获北京市科技进步一等奖、国家科技进步二等奖。2007 年主持完成了国家科技攻关项目“基于下一代互联网（IPv6）的高性能视频传输与共享虚拟现实”，主持完成了国家“863”项目 “面向仿真应用的无线自组织路由技术 ”，在全国建立了高清晰视频与
37、共享虚拟现实应用示范节点，满足对虚拟现实技术应用研究需要，有关研究成果获上海国际工业博览会创新奖。2009 年开始承担国家重点基础研究发展计划“973”课题“虚实混合环境的驱动引擎技术与系统 ”，研究了真实物体的数据快速获取、实时建模及虚实交互技术，研制了虚实混合环境的驱动引擎，研究成果应用在飞机装备维护训练与大型航海搜救模拟方面。有关图形平台的研究成果与应用获国家第 8 页科技进步一等奖。2011 年开始主持承担国家“863”课题“真实场景感知及数字化方法与装置” ，研究自然现象获取与数据驱动技术，研制了一批自然现象数据获取实验设备，建立了大规模数据库，在真实数据获取与采用物理方程建模方面，
38、获得一批国家专利，解决了国家在特殊领域有关重要问题，在影视后期制作中得到应用。吴威教授每年承担本科生课与研究生学位课的教学工作，2010 年获得北京航空航天大学研究生教学一等奖。在硕士生培养方面，十多次获得校优秀硕士学位论文指导教师奖，在所指导博士生研究中，多名研究生获得校博士生创新基金，每年有一批学生赴美国交流与学习。在 2012 年获得中国系统仿真学会优秀博士论文指导教师奖。办公室：新主楼 G1016 室、 G725 室；电话：82317616， 82339875-805； E-mail：14. 马殿富教授马殿富，男，1960 年生，教授，博士生导师。2001 年至 2011 年任计算机学
39、院院长。现任软件开发环境国家重点实验室副主任，教育部计算机类教学指导委员会秘书长，计算机学会教育工委主任，中国信标委 SOA 分委员会副组长，计算机工程教育专业认证专家。多年一直从事数理逻辑和软件工程建模与形式化方法等教学。2005 年获国家教学一等奖，2014 年获得国家教学二等奖。一直从事服务计算及中间件、非结构化数据组织与处理以及安全关键系统方面的研究工作。提出了面向服务的描述语言及 Web 服务运行平台的形式化验证方法，并带领团队开发了思讯 Web 服务中间件平台，成为四方国件联盟-国产中间件参考实现平台的重要组成。2006 年起，围绕实时系统、以 AADL 语言为基础，提出了安全关键
40、实时系统设计、分析、验证及自动代码生成方法。2010 年开展非结构化数据组织与处理研究。现在主要从事安全关键系统研究，开展 A 级安全关键软件建模与验证机器软件开发与验证环境等研究。先后主持了 973 重大基础研究项目二级课题、国家 863 计划重点项目，核高基重大专项项目以及科技部科技平台、国防科工委、总装预研基金、自然基金等项目。近年来在国际学术会议及国内核心刊物发表论文 40 余篇。15. 刘旭东教授刘旭东，男，1965 年 5 月出生，博士、教授、博士生导师。现任北京航空航天大学计算机学院分党委书记，计算机新技术研究所（ACT）副所长，可信网络计算技术国防重点学科实验室副主任，兼任 W
41、3C 中国分部副主任。主要从事网络化软件开发方法、可信软件技术、软件中间件技术和信息化标准等方面的研究工作。近 5 年，作为课题组长或副组长承担了国家“863”计划重点项目、国家自然基金重大课题、 “973”计划、总装预研、国防基础研究等课题 10 余项，发表论文 30余篇，获发明专利授权 7 项，申请专利 18 项，获国家技术发明二等奖 1 项、国家科学技术进步二等奖 2 项、省部级科技进步一等奖 5 项，获国家教学成果一等奖 1 项、国家教学成果二等奖 1 项，获国防科工委优秀教师、宝钢优秀教师特等奖、北京市工会教育创新标兵等荣誉称号多次。目前主要开展网络软件设计与生产方法和基于协议的网络
42、软件体系结构等方面的研究工作，主持“863”计划重点项目 1 项、 “核高基”专项课题 1 项、承担总装预研、国防基础研究等其他相关第 9 页课题 3 项。16. 张莉教授张莉，女，博士，教授，博士生导师。1996 年取得博士学位。2002 年评为教授。2002-2011 年担任北京航空航天大学计算机学院副院长。现任软件学院副院长、计算机学院软件工程研究所副所长，教育部软件工程专业教学指导委员会委员，全国软件工程领域教育协作组组长。国家计算机工程教育认证专家。计算机学会软件工程专委委员、教育专委会副主任、中国电子学会云计算专家委员会委员。全国高等学校计算机教育研究会理事。国际信息处理联盟（IF
43、IP）成员,欧洲国际企业互操作虚拟实验室（V-Lab）成员。2006-2012 教育部理工类计算机基础课程教学指导分委员会委员,2001 年入选北京市科技新星计划，同年获得“中创软件人才奖“ 。 2004 年入选教育部“新世纪优秀人才支持计划“。2005 年获国家教学成果一等奖一项（排名第四） ，2007 年度北京市教育工会教育创新标兵；2008 年负责并主讲的编译课程获国家精品课程；2009 年评为北京市教学名师。2010 年获北京市“三八”红旗奖章。2011 年获得宝钢优秀教师奖，国防科技进步二等奖（第一负责人） 。主要从事软件工程、需求工程、模型驱动的方法、企业业务建模优化、互联网计算等
44、相关的技术研究和开发工作。先后主持和参加了国家自然科学基金、国家 973 项目、航空基金、国家 863 计划项目、国防预研项目、中美、中欧国际合作项目和企业应用项目。在国际会议、国内外刊物上发表学术论文 100 余篇，多次担任国际学术会议程序委员会主席和程序委员会委员。出版关于 UML建模专著一本，需求分析和软件体系结构的译著两本。主讲课程：本科生“编译技术” ；研究生“软件体系结构” 、 “经验软件工程”目前主要研究方向： 1）软件体系结构建模技术：软件体系结构建模与分析、产品线体系结构建模与系统配置，可视化建模技术、软件质量保证、嵌入式软件建模技术2）模型驱动技术：业务流程建模、模型转化技
45、术、模型驱动的系统配置、模型驱动的系统集成技术、模型驱动的测试技术3）需求工程：需求建模技术、需求验证技术、用户满意度度量等。4）数据驱动的软件工程：用户意见挖掘、大数据分析、开源社区分析等5）企业业务过程建模与分析：企业业务过程建模分析和优化、工作流技术、软件需求分析（业务建模）欢迎有志于从事软件工程学术研究、肯吃苦、有上进心的同学报考硕士或博士研究生。联系电话：82317649，邮箱：17. 王蕴红教授博士，教授，博士生导师，北京航空航天大学计算机学院副院长,中国计算机学会模式识别与人工智能专业委员会委员。一直从事模式识别和信息隐藏及检测的研究工作，于 2005 年获得国家技术发明二等奖
46、1 项，于 2004 年获得北京市科学技术奖一等奖，于 2001 年被科技部授予 863 计划先进个人，2005 年入选教育部新世纪优秀人才计划。作为负责人已主持国家自然科学基金、863 计划、973 课题等国家级项目 14 项,在 IEEE Transactions 等权威国际学术期刊和 ICPR 等国际权威学术会议上发表论文 120 篇，授权国家发明专利 8 项。从事数字媒体的理解及信息安全研究工作，在人脸识别、步态识别、视频理解、智能视觉监控、遥感图像处理与识别、特征隐藏等方面进行了深第 10 页入的研究工作，2012 年、2013 年中国生物特征识别学术会议程序委员会主席，2013 年
47、中国计算机学会人工智能学术会议程序委员会主席，作为程序委员会委员参与组织国际模式识别大会、国际生物特征识别大会等多个重要的国际会议。获得首届北京航空航天大学首届研究生十佳导师，培养的学生 2012 年有 4 名获得国家奖学金。具体研究方向等信息见实验室网页 http:/联系方式： 电话 82339317， EMAIL 18. 秦洪教授秦洪（ Qin Hong ）教授，男， 1966 年出生，加拿大多伦多大学计算机科学专业博士学位。美国纽约州立大学石溪分校终身教授。虚拟现实和计算机图形学领域的国际著名学者。创造性地提出了一套以偏微分方程和流形样条为核心的几何建模理论和方法，获得 NSF CARE
48、ER、Honda Initiation、Sloan Fellowship 等多项重要科技奖励。在 ACM TOG、IEEE TVCG 等本领域顶级国际期刊和 ACM Solid Modeling、IEEE VIS 等权威国际会议上发表论文 180 余篇,论文的总引用数已超过 3000 次。担任 ACM Solid and Physical Modeling Symposium、CASA 等 10 余个顶级国际学术会议的主席，受邀为美国 30 多所著名大学和一流学术会议上做特邀报告 100 余场。曾受聘长江学者讲座教授。作为十二五国家自然科学基金项目重大项目课题技术负责人，已带领研究团队发表多篇
49、高水平论文。2012 年，获“千人计划”支持。19. 刘超教授刘超，男，博士，教授，博士生导师，1958 年出生。现任软件工程研究所所长、北航软件测评实验室主任。兼任中国计算机学会软件工程专业委员会副主任，中国软件行业协会软件工程分会副主任和系统与过程改进分会副会长，航空计算技术杂志编委。曾受聘为航天科技二院产品保证专家。长期从事软件工程领域的研究，主要科研方向包括软件质量工程、软件测试技术、安全关键系统及软件开发与验证、面向对象技术以及软件过程改进等。近年来，承担的项目有国家自然科学基金可信软件基础研究重大计划项目“基于测试的软件可信性增长模型及其评估方法研究” 、863 重点项目“支持软件可信性分析和评估的生产线” ，863 探索型项目“可信软件结构及代码的审查和综合评估及支持工具” ，以及有关模型驱动的分布式软件测试技术、软件质量测评、机载安全关键软件开发与验证等方面的国防
