北京航空航天大学计算机学院.doc

《北京航空航天大学计算机学院.doc》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、北京航空航天大学计算机学院硕士研究生招生手册北京航空航天大学计算机学院二零一四年三月1.李未院士李未，北京航空航天大学计算机学院教授，博士生导师，中国科学院院士，中国科学院信息技术科学部主任，国家教育咨询委员会委员，软件开发环境国家重点实验室主任，电子学会副理事长。李未院士是我国著名的计算机科学家。1966年北京大学数学与力学系毕业，1983年获英国爱丁堡大学计算机科学博士学位，1986年起担任北京航空航天大学计算机学院教授，博士生导师，2002-2009年任北京航空航天大学校长。曾任第二至六届国务院学位委员会委员，第十、十一届全国政协委员，国家

2、中长期科技发展规划大型飞机重大专项论证专家组组长，以及实施方案论证专家委员会主任委员，教育部计算机教学指导委员会主任，英国科学与工程委员会高级访问研究员，不莱梅大学教授级研究员，萨尔布吕肯大学祖思讲座教授等。李未院士在实用并发语言操作语义、形式理论序列和修正演算等方面取得了开创性研究成果。他对科学理论的进化、软件及其功能描述中的缺陷和程序错误的定位和修复进行了系统深入的研究，提出了关于版本序列的理论，建立了对错误进行修正的形式演算系统（R-演算）；设计了描述软件开发方法的形式语言，提出了可信软件开发方法的基本理论；在2007年和2010年分别出版

3、了中英文专著《数理逻辑——基本原理与形式演算》。李未院士在我国率先倡导进行海量信息计算的理论与方法研究，曾两次担任973计划项目的首席科学家。李未院士1995年获国家自然科学奖二等奖，1997年获何梁何利科技进步奖，2004年获国家级科技进步二等奖，2005年获国家教学成果一等奖。李未院士任《中国科学：信息科学》中英文版和《FrontiersofComputerScienceinChina》的主编。在国际、国内学术刊物和国际学术会议发表学术论文百余篇，中英文专著4部。主要研究方向：l计算机软件基础理论l科学发现的逻辑及交互式自动化程序调试l海量非

4、结构化数据模型大规模开放在线课程教育和群体计算2.赵沁平院士赵沁平，北京航空航天大学计算机学院教授，博士生导师，中国工程院院士，中国科协副主席，国务院学位委员会委员，中国系统仿真学会理事长，虚拟现实技术与系统国家重点实验室主任。赵沁平教授多年来在计算机科学领域进行虚拟现实技术和人工智能基础的研究，先后承担了国家自然科学基金重大、重点项目、国家863计划、973计划、国防科技预先研究等20余项国家科研任务。在我国率先开展了机器类比推理的研究,提出一种类比推理计算模型；主持设计实现了芯片级类比推理器，并采用软硬件结合的方式构建了类比推理机系统。作为我

5、国最早从事虚拟现实技术的研究者之一，坚持开展虚拟现实技术的研究、开发与应用。经过十多年的研究，建立了我国第一个基于广域专用计算机网络的可支持异地分布式虚拟现实应用的支撑环境DVENET；主持研制了具有自主知识产权的分布交互仿真应用程序开发与运行平台BH_RTI和实时三维图形平台天绘；基于上述成果组织开发了若干国内有影响的虚拟现实应用系统。在理论和技术研究中提出了许多新思想、新概念和新方法，取得了创新成果。在国际、国内学术刊物和国际学术会议发表学术论文170余篇，出版专著3部。获国家科技进步一等奖1项、国家科技进步二等奖2项、省部级科技奖9项。获国

6、家发明专利授权60余项。已培养博士49人，硕士70余人。创建了中国计算机学会虚拟现实与可视化技术专业委员会。兼任《中国科学》F辑、《计算机研究与发展》副主编，《计算机学报》、《软件学报》等学术刊物编委。1.怀进鹏院士怀进鹏，博士，北京航空航天大学计算机学院教授，博士生导师，中国科学院院士，现任北京航空航天大学校长。1962年12月20日生于黑龙江省哈尔滨市，1987年硕士毕业于哈尔滨工业大学计算机与电气工程学院后，分配到北京航空航天大学任教，1990年师从我国著名的计算机科学家、中科院院士李未教授，1993年获博士学位，同年获国家教委首批“优秀中

7、青年科技人才”计划资助，于1995年9月至1996年9月赴美国哥伦比亚大学计算机学院进行学术交流与合作研究。怀进鹏教授现任北京航空航天大学校长、国家信息化专家咨询委员会成员、国家十五、十一五863计划计算机主题专家组组长、国家电子政务标准化总体组组长、中国计算机学会常务理事。近20年来，主要从事计算机软件与理论、网络计算、网络信息安全等方面的研究和开发工作，具有优秀的专业素质、开拓能力和创新意识。已主持国家863计划、自然科学基金、国防基金、攻关计划、国际合作项目、信息产业部电子发展基金、国防重大研究计划和国防预研计划和国家信息安全中心等研发计划

8、项目，并主持了国防科工委、工商行和北京市等多项大型信息系统研制。近年来，在网络软件、Web服务技术和网络安全方面取得了重要的研究和实践结