1、北京航空航天大学计算机学院北京航空航天大学计算机学院 硕士研究生招生手册 北京航空航天大学计算机学院北京航空航天大学计算机学院 二零一四年九月二零一四年九月 硕士导师名单硕士导师名单 1.李未院士李未院士 李未,北京航空航天大学计算机学院教授,博士生导师,中国科学院院士,国务院学位委员会 委员,第十、十一届全国政协委员,科技部专家顾问委员会委员,教育部咨询委员会委员,教育部 计算机教学指导委员会主任,电子学会副理事长。 李未院士是我国著名的计算机科学家。1943 年 6 月 8 日出生,1966 年北京大学数学与力学系 毕业,1983 年获英国爱丁堡大学计算机科学博士学位。2002-2009
2、年任北京航空航天大学校长。现 任软件开发环境国家重点实验室主任。曾任国家中长期科技发展规划大型飞机重大专项论证专家组 组长,以及实施方案论证专家委员会主任委员。 李未院士在实用并发语言操作语义、形式理论序列和修正演算等方面取得了开创性研究成果。 他对科学理论的进化、软件及其功能描述中的缺陷和程序错误的定位和修复进行了系统深入的研究, 提出了关于版本序列的理论,建立了对错误进行修正的形式演算系统(R-演算) ;设计了描述软件 开发方法的形式语言,提出了可信软件开发方法的基本理论;在 2007 年和 2010 年分别出版了中英 文专著数理逻辑基本原理与形式演算 。李未院士在我国率先倡导进行海量信息
3、计算的理论 与方法研究,曾两次担任国家重点基础研究发展规划(973)项目的首席科学家。李未院士 1995 年 获国家自然科学奖二等奖一项,1997 年获何梁何利科技进步奖一项,2004 年获国家级科技进步二 等奖一项,2005 年获国家教学成果一等奖一项。 李未院士任中国科学:信息科学中英文版和Frontiers of Computer Science in China的主 编。在国际、国内学术刊物和国际学术会议发表学术论文百余篇,中文专著 2 部,英文专著 1 部。 86 年起担任博士生导师,培养博士后 8 名、博士研究生 52 名和硕士生百余人。 目前主要研究方向包括:目前主要研究方向包括
4、: 计算机科学理论与软件基础 非结构化数据理论与实践 大数据的分析与处理 2.赵沁平赵沁平院士院士 赵沁平,北京航空航天大学计算机学院教授,博士生导师,中国工程院院士,中国系统仿真学 会理事长,虚拟现实技术与系统国家重点实验室主任。 赵沁平教授多年来在计算机科学领域进行虚拟现实技术和人工智能基础研究,先后承担了国家 自然科学基金重大、重点项目、国家 863 计划、973 计划、国防科技预先研究等 20 余项国家科研 任务。 在我国率先开展了机器类比推理的研究,提出一种类比推理计算模型;主持设计实现了芯片级 类比推理器,并采用软硬件结合的方式构建了类比推理机系统。作为我国最早从事虚拟现实技术的
5、研究者之一,坚持开展虚拟现实技术的研究、开发与应用。建立了我国第一个基于广域专用计算机 网络的可支持异地分布式虚拟现实应用的支撑环境 DVENET;主持研制了具有自主知识产权的分 第 1 页 布交互仿真应用程序开发与运行平台 BH _RTI、和实时三维图形平台天绘;基于上述成果组织开发 了若干有影响的虚拟现实应用系统。 创建了中国计算机学会虚拟现实与可视化技术专业委员会。兼任中国科学F 辑、 计算机 研究与发展副主编, 计算机学报 、 软件学报等学术刊物编委。在国际、国内学术刊物和国 际学术会议发表学术论文 180 余篇,出版专著 3 部。获国家发明专利授权 50 余项。获国家科技进 步一等奖
6、 1 项、国家科技进步二等奖 2 项、国际技术发明二等奖 1 项,获省部级科技奖 9 项。已培 养博士 56 人,硕士 90 余人。 3.怀进鹏院士怀进鹏院士 怀进鹏,博士,北京航空航天大学计算机学院教授,博士生导师,中国科学院院士,现任工业 和信息化部副部长。1962 年 12 月 20 日生于黑龙江省哈尔滨市,1987 年硕士毕业于哈尔滨工业大 学计算机与电气工程学院后,分配到北京航空航天大学任教,1990 年师从我国著名的计算机科学 家、中科院院士李未教授,1993 年获博士学位,同年获国家教委首批“优秀中青年科技人才”计 划资助,于 1995 年 9 月至 1996 年 9 月赴美国哥
7、伦比亚大学计算机学院进行学术交流与合作研究。 怀进鹏教授是国家信息化专家咨询委员会成员、国家十五、十一五 863 计划计算机主题专家组 组长、国家电子政务标准化总体组组长、中国计算机学会常务理事。近 20 年来,主要从事计算机 软件与理论、网络计算、网络信息安全、大数据计算等方面的研究和开发工作,具有优秀的专业素 质、开拓能力和创新意识。已主持国家 863 计划、自然科学基金、国防基金、攻关计划、国际合作 项目、信息产业部电子发展基金、国防重大研究计划和国防预研计划和国家信息安全中心等研发计 划项目,并主持了国防科工委、工商行和北京市等多项大型信息系统研制。近年来,在网络软件、 Web 服务技
8、术、网络安全及大数据计算方面取得了重要的研究和实践结果,发表学术论文 100 余篇, 获国家技术发明二等奖 1 项,国家科学技术进步二等奖 2 项,省部级科学技术进步一等奖 5 项。 怀进鹏教授的招生联系人是:刘旭东老师,邮箱:liuxd ,办公地点: G1116,电 话:82316285 4.李德毅院士李德毅院士 李德毅,中国工程院院士,国际欧亚科学院院士,第十届全国政协委员,国家自然科学基金委 员会信息科学部主任,中国电子学会副理事长,中国电子学会云计算专家委员会主任 李德毅是中国人工智能学会副理事长计算机工程和人工智能专家。1944 年 11 月生于江苏泰县。 1967 年毕业于南京工学
9、院无线电工程系。1983 年在英国爱丁堡海里奥特-瓦特大学获得计算机科学 与工程博士学位。1995 年和 1996 年在美国密歇根大学、加拿大西蒙弗雷泽大学、香港中文大学做 高级访问学者。1999 年当选中国工程院院士。2003 年当选第十届全国政协委员。2004 年当选欧亚 科学院院士。国际学刊Knowledge and Information Systems 、中国科学、中国电子学报、自动化 学报、软件学报、计算机学报等编委。 李德毅院士在国际上最早提出“控制流数据流”图对理论,描述时间与空间的关联性,给出了 基本图元、图对、连接法则、触发机制、设计语言等一整套实现方法,用于复杂系统的结构
10、优化。 图对理论在伦敦获得 1985 年 IEEE 主席授予的计算机和控制类年度期刊最佳学术论文奖。 他把关系数据模型映射成为谓词演算,证明了关系代数运算与逻辑推理中符号问题求解的对等 第 2 页 性,并用逻辑程序设计语言 PROLOG 进行开发,实现了一个关系数据库管理系统,出版专著 A Prolog Database System;进而又把这一成果扩展到模糊关系数据库领域,出版专著 A Fuzzy Prolog Database。这两部专著被世界许多大学图书馆收藏,并被广泛引用。 他提出了不确定性知识的表示和推理理论,用自己创造的云模型表示概念的随机性、模糊性以 及随机性和模糊性之间的关联
11、性,用期望、熵和超熵作为数字特征实现概念的定性定量转换,给出 了云模型构成的多条定性规则同时激活的推理策略和计算方法,成功实现了三级倒立摆的各类动平 衡姿态的灵活切换。用云控制倒立摆的论文在 1999 年第 14 届世界自动控制联合会上获得杰出论文 奖。这是世界自动控制联合会成立 42 年来中国学者首次获得此奖项。2002 年云发生器获得国家发 明专利。 他将物理学方法用于认知科学的研究,创立了认知物理学理论,用云模型表示自然语言中的概 念,用扩展了的云模型表示带有不确定性的网络拓扑结构,用数据场方法将海量高维数据简约成适 量低维数据,分别在数据空间、特征空间和发现状态空间进行数据挖掘和知识发
12、现研究,寻找不同 尺度上的自相似性,寻找不确定性中的确定性,寻找复杂系统的演化规律,拓展了人工智能的研究 方向,2005 年出版专著不确定性人工智能 ,并于 2007 年由 CRC 出版英文版本Artificial Intelligence with uncertainty 。 李德毅院士长期致力于指挥自动化系统工程和军队信息化工作,先后获得国家科技进步奖二等 奖 2 项、三等奖 2 项,军队科技进步奖一等奖 3 项、二等奖 4 项,主编技术丛书 7 种,培养博士、 硕士研究生 40 余名。1990 年被人事部授予有突出贡献的回国留学人员,1991 年享受政府特殊津贴, 1992 年获国家有突
13、出贡献的中青年专家称号,2005 年获得军队专业技术重大贡献奖、国家何梁何 利基金奖。发表论文 140 多篇,出版中文专著 3 本、英文专著 2 本。 研究方向: 不确定性人工智能 认知物理学 网络化数据挖掘 互联网计算 李德毅老师的招生联系人是:刘禹老师,邮箱:buaa_liuyu ,,办公地点: G1106,电话:82338127 5.徐洁教授徐洁教授 徐洁,博士,教授,博士生导师,国家千人计划特聘专家, “长江学者”讲座教授,英国利兹 大学(University of Leeds)讲座教授,利兹大学计算及系统科学研究院院长,英国国家 White Rose Grid e-Science 中
14、心主任。所领导的团队和中心是英国政府 2.5 亿英镑 e-Science 战略计划的核心研 究团队之一,已连续十年获得英国国家资助。英国纽卡斯尔大学(University of Newcastle upon Tyne) 客座教授,曾任英国杜伦大学(Durham University)讲座教授。连续三届担任英国 EPSRC Peer Review College 专家、英国国家工贸部(Department for Business, Innovation tel:010-82339274, office:北航新主楼 G506 91. 季书帆副教授季书帆副教授 季书帆,女,博士,副教授,硕士生导师
15、,1980 年生。2002 年毕业于南京大学信息管理与信 息系统专业,获学士学位。2007 年获新加坡国立大学计算机系博士学位,同年 4 月赴美国斯坦福 大学卡内基研究院从事博士后研究工作;2008 年 8 月归国后任教于哈尔滨工业大学深圳研究生院 计算机系。 承担国家自然科学基金青年基金、重点基金及 863 军口项目,并担任核心国际期刊 (如 Bioinformatics, TKDE 等)的评审。主要研究成果,都发表在一些核心国际期刊(如 Bioinformatics, TKDE)和著名国际会议(如 VLDB, ICDE, BIBE)上。 现任职于北航计算机系数字媒体实验室。主要研究方向为数
16、据挖掘、生物信息学、遥感图像分 析与应用。 办公电话:82339024 办公地点:新主楼 G805 E-mail:jiliping 92. 尚利宏副教授尚利宏副教授 尚利宏,男,博士,副教授,北航计算机学院系统结构研究所硕士生导师,中国计算机学会容 错专业委员会委员。分别于 1994 年、1997 年和 2004 年在北京航空航天大学计算机学院获得学士、 硕士和博士学位。 主讲研究生计算机容错技术和本科生嵌入式系统设计课程。 目前主要研究方向为嵌入式系统、实时系统和容错计算技术、机载计算机系统结构。作为技术 负责人完成国家自然基金项目 1 项、国防预研基金项目 2 项。作为项目负责人主持总装预
17、研基金一 项、国防重点型号相关科研任务 20 余项,科研经费逾 2500 万元。已发表论文 40 余篇,获发明专 利 2 项。译著一部,编写国家军用标准一部。获北航教学成果一等奖 1 项(排名第 2) 。获陕西省 国防科技进步二等奖 1 项(排名第 2) ,陕西省国防科技进步三等奖 1 项(排名第 3) 。 电邮: shanglh 电话:010-82339892, 办公地点:新主楼 G 座 1029 房间。 第 47 页 93. 冷彪副教授冷彪副教授 冷彪,男,博士,副教授,硕士生导师。2000 年 9 月进入国防科学技术大学计算机学院就读, 2004 年 7 月获得工学学士学位。2004 年
18、 9 月进入清华大学计算机系攻读博士学位,2009 年 7 月获 博士学位。2009 年 10 月进入北京航空航天大学计算机学院“先进计算机应用技术教育部工程研究 中心”工作。目前主要研究方向包括: (1)多媒体信息处理、图像和三维模型检索、视频分析与理解; (2)大数据分析、数据挖掘、数据活化; (3)智能交通系统、客流疏散、客流预测、乘客分配、公共交通客流采集与实时分析; (4)复杂网络、统计物理等。 近三年主要参与研发国家科技部“863”项目、科技部国际合作项目,主持国家自然科学基金 项目、国家教育部博士点新教师基金项目、软件开发环境国家重点实验室探索性自主研究课题、中 央高校基本科研业
19、务费专项资金项目、北京市交通委员会科研项目和企业合作项目等。2011 年 12 月-2012 年 3 月,作为国家留学基金委公派访问学者在美国宾夕法尼亚州立大学访问学习;2012 年 10 月-11 月,在香港科技大学访问学习。近几年共发表学术论文 20 多篇,其中 SCI 索引期刊论 文 10 余篇,现为 International Journal of Computer Vision, Multimedia Tools and Applications, Journal of Applied Mathematics, Physica A, International Journal of
20、Modern Physics C 等期刊的审稿人。 94.94. 张兆翔副教授张兆翔副教授 张兆翔,博士,副教授,硕士生导师,IEEE 会员,计算机学会会员,YOCSEF 委员,计算机 学会计算机视觉专委会委员,人工智能学会模式识别专委会委员。研究领域包括模式识别、计算机 视觉、数字图像处理与机器学习,目前具体的研究方向包括: 1. 智能视觉信息处理(视觉认知计算,智能视觉监控,物体检测、跟踪与识别,行为分析与事 件理解) 2. 面向大数据的智能视频分析与理解(面向多摄像机的可视信息整合,面向大数据视频的分析、 检索与挖掘) 3. 生物特征识别(人脸分析、检索与识别,步态分析与识别,签名笔迹识
21、别) 4. 面向社会关系网络的模式识别与挖掘方法 张兆翔于 2004 年毕业于中国科学技术大学,获得电路与系统专业学士学位;2004 年进入中国科学 院自动化研究所硕博连读,于 2009 年获得工学博士学位。2009 年入职北京航空航天大学计算机学 院。现任北京航空航天大学计算机学院副教授,硕士生导师。其间在 2011 年 6 月至 10 月在英国伦 敦大学开展访问研究。 自 2004 年以来一直从事模式识别与计算机视觉领域的研究工作,近五年来在国际主流学术期 刊与会议上发表论文 95 篇,SCI 收录期刊论文 27 篇。部分文章发表在领域内的重要期刊,如 IEEE Transactions
22、on Image Processing 、 IEEE Transactions on Circuits and Systems for Video Technology 、 IEEE Transactions on Information Forensic and Security 、 IEEE Transactions on SMC,Part B 、 IEEE Transactions on Cybernetics等,以及领域内的重要国际会议如 CVPR 等。近 五年来论文 Google Scholar 引用 502 次,他引 421 次,SCI 他引 93 次。引用源中不乏领域内的重要 期
23、刊与会议,如IEEE Transactions on Pattern Analysis and Machine Intelligence 、 IEEE 第 48 页 Transactions on Image Processing 、 IEEE Transactions on Circuits and Systems for Video Technology 、 Pattern Recognition等。部分成果被国内外同行在论文中称为“state-of-the-art” , “popular” , “precise” 。包括计算机视觉领域的 David Hogg 教授、Shaogang Go
24、ng 教授,生物特征识别领域的 Mark Nixon 教授、Arun Ross 教授,认知心理学领域的俞洪波教授等在内的国际知名学者都在所著 论文中对我们的工作给予了高度评价和认可,体现了相关工作的研究水平。担任了 ICPR、AVSS、CCBR 等多个国际会议的程序委员会委员,SCI 期刊Frontiers of Computer Science青年副主编和 TPAMI、TIP、TCSVT、PR 等 20 余个本领域主流期刊的审稿人。作为项目 负责人承担了国家自然科学基金青年基金项目、国家自然科学基金面上项目、北京市自然科学基金 面上项目等多项课题的研究工作;作为核心团队成员参与了国家 973
25、 计划、国家 863 计划、国家自 然科学基金国际合作项目等多项课题。于 2012 年入选北京航空航天大学“蓝天新星人才计划” ;于 2013 年入选“北京市青年英才计划” ;于 2013 年入选“教育部新世纪优秀人才支持计划” ,于 2014 年入选“微软铸星计划” 。 在理论研究同时注重成果的应用推广,近五年来,已申请发明专利 7 项,其中授权专利 5 项, 有三项科研成果在国家部委和企业单位取得成功应用推广,取得了显著的经济效益和社会影响。承 担了模式识别 、 机器学习 、 数字图像处理等课程的教学。曾获得“华为奖教金” , “学生科 技活动优秀指导教师” , “学生思想政治工作先进工作
26、者” , “优秀研究生辅导员”等。更多信息请 参见个人主页: 。 联系方式: 邮件: zxzhang 电话:82316297 办公室:新主楼 G1001 95.95. 沃天宇沃天宇副教授副教授 沃天宇,男,副教授。2007 年毕业于北航计算机学院,获计算机软件与理论工学博士学位。 中国计算机学会计算机应用专业委员会委员。主要研究方向包括分布式计算系统、网络资源调度管 理、虚拟计算技术及应用等,在大型网络计算系统、Web 服务中间件研发、虚拟资源管理系统,以 及云计算和软件网络化运营等方面有丰富的科研和工程实践经验。主持或作为主要技术骨干参与多 项国家自然科学基金、863、973 等重大项目研发,在国内外重要期刊会议上发表学术论文 30 余篇, 申请国家发明专利 30 余项(其中获授权 14 项) ,软件著作权 30 余项。获国家发明二等奖 1 项(第 三完成人) ,教育部科技进步一等奖 2 项,2003 年获微软亚洲研究院授予“微软学者”称号,2013 年入选“北京市青年英才”人才计划。多次赴香港科技大学、英国南安普敦大学、Le