北航计算机导师new

《北航计算机导师new》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

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

2、国家中长期科技发展规划大型飞机重大专项论证专家组组长，以及实施方案论证专家委员会主任委员。李未院士在实用并发语言操作语义、形式理论序列和修正演算等方面取得了开创性研究成果。他对科学理论的进化、软件及其功能描述中的缺陷和程序错误的定位和修复进行了系统深入的研究，提出了关于版本序列的理论，建立了对错误进行修正的形式演算系统（R-演算）；设计了描述软件开发方法的形式语言，提出了可信软件开发方法的基本理论；在2007年和2010年分别出版了中英文专著《数理逻辑——基本原理与形式演算》。李未院士在我国率先倡导进行海量信息计算的理论与方法研究，曾

3、两次担任国家重点基础研究发展规划（973）项目的首席科学家。李未院士1995年获国家自然科学奖二等奖一项，1997年获何梁何利科技进步奖一项，2004年获国家级科技进步二等奖一项，2005年获国家教学成果一等奖一项。李未院士任《中国科学：信息科学》中英文版和《FrontiersofComputerScienceinChina》的主编。在国际、国内学术刊物和国际学术会议发表学术论文百余篇，中文专著2部，英文专著1部。86年起担任博士生导师，培养博士后8名、博士研究生52名和硕士生百余人。主要研究方向：l计算机软件基础理论l先进网络下的协

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

5、、开发与应用。经过十多年的研究，建立了我国第一个基于广域专用计算机网络的可支持异地分布式虚拟现实应用的支撑环境DVENET；主持研制了具有自主知识产权的分布交互仿真应用程序开发与运行平台BH_RTI、和实时三维图形平台天绘；基于上述成果组织开发了若干国内有影响的虚拟现实应用系统。第57页在理论和技术研究中提出了许多新思想、新概念和新方法，取得了创新成果。提出了多值逻辑方程及其应用机制；提出一种类比推理的计算模型；针对现有的一些RTI在大规模分布交互仿真和分布式虚拟现实应用中存在的规模小、实时性差等问题，进行研究，取得创新成果；在实时三

6、维图形平台功能可扩展性、逼真快速建模、大规模场景实时绘制以及复杂对象的逼真绘制方面获得多项发明专利、发表一批学术论文。创建了中国计算机学会虚拟现实与可视化技术专业委员会。兼任《中国科学》F辑、《计算机研究与发展》副主编，《计算机学报》、《软件学报》等学术刊物编委。在国际、国内学术刊物和国际学术会议发表学术论文160余篇，出版专著3部。获国家科技进步一等奖1项、国家科技进步二等奖2项、省部级科技奖9项。获国家发明专利授权36项。已培养博士46人，硕士60余人。1.怀进鹏院士怀进鹏，博士，北京航空航天大学计算机学院教授，博士生导师，中国科

7、学院院士，现任北京航空航天大学校长。1962年12月20日生于黑龙江省哈尔滨市，1987年硕士毕业于哈尔滨工业大学计算机与电气工程学院后，分配到北京航空航天大学任教，1990年师从我国著名的计算机科学家、中科院院士李未教授，1993年获博士学位，同年获国家教委首批“优秀中青年科技人才”计划资助，于1995年9月至1996年9月赴美国哥伦比亚大学计算机学院进行学术交流与合作研究。怀进鹏教授现任北京航空航天大学校长、国家信息化专家咨询委员会成员、国家十五、十一五863计划计算机主题专家组组长、国家电子政务标准化总体组组长、中国计算机学会常

8、务理事。近20年来，主要从事计算机软件与理论、网络计算、网络信息安全等方面的研究和开发工作，具有优秀的专业素质、开拓能力和创新意识。已主持国家863计划、自然科学基金、国防基金、攻关计划、国际合作项目、信息产业部电子发展