文档介绍：硕士导师名单 1. 李未院士李未,北京航空航天大学计算机学院教授,博士生导师,中国科学院院士,国务院学位委员会委员,第十、十一届全国政协委员,科技部专家顾问委员会委员,教育部咨询委员会委员,教育部计算机教学指导委员会主任,电子学会副理事长。李未院士是我国著名的计算机科学家。 1943 年6月8 日出生, 1966 年北京大学数学与力学系毕业, 1983 年获英国爱丁堡大学计算机科学博士学位。 2002-2009 年任北京航空航天大学校长。现任软件开发环境国家重点实验室主任。曾任国家中长期科技发展规划大型飞机重大专项论证专家组组长,以及实施方案论证专家委员会主任委员。李未院士在实用并发语言操作语义、形式理论序列和修正演算等方面取得了开创性研究成果。他对科学理论的进化、软件及其功能描述中的缺陷和程序错误的定位和修复进行了系统深入的研究, 提出了关于版本序列的理论, 建立了对错误进行修正的形式演算系统( R- 演算); 设计了描述软件开发方法的形式语言,提出了可信软件开发方法的基本理论;在 2007 年和 2010 年分别出版了中英文专著《数理逻辑——基本原理与形式演算》。李未院士在我国率先倡导进行海量信息计算的理论与方法研究,曾两次担任国家重点基础研究发展规划( 973 )项目的首席科学家。李未院士 1995 年获国家自然科学奖二等奖一项, 1997 年获何梁何利科技进步奖一项, 2004 年获国家级科技进步二等奖一项, 2005 年获国家教学成果一等奖一项。李未院士任《中国科学:信息科学》中英文版和《 Frontiers puter Science in China 》的主编。在国际、国内学术刊物和国际学术会议发表学术论文百余篇,中文专著 2 部,英文专著 1部。 86 年起担任博士生导师,培养博士后 8 名、博士研究生 52 名和硕士生百余人。主要研究方向: ?计算机软件基础理论?先进网络下的协同工作环境?软件测试自动化 2. 赵沁平院士赵沁平,北京航空航天大学计算机学院教授,博士生导师,中国系统仿真学会理事长,虚拟现实技术与系统国家重点实验室主任。赵沁平教授多年来在计算机科学领域进行虚拟现实技术和人工智能基础的研究,先后承担了国家自然科学基金重大、重点项目、国家 863 计划、 973 计划、国防科技预先研究等 20 余项国家科研任务。在我国率先开展了机器类比推理的研究, 提出一种类比推理计算模型; 主持设计实现了芯片级类比推理器,并采用软硬件结合的方式构建了类比推理机系统。作为我国最早从事虚拟现实技术的研究者之一,坚持开展虚拟现实技术的研究、开发与应用。经过十多年的研究,建立了我国第一个基于广域专用计算机网络的可支持异地分布式虚拟现实应用的支撑环境 ; 主持研制了具有自主知识产权的分布交互仿真应用程序开发与运行平台 BH _RTI 、和实时三维图形平台天绘;基于上述成果组织开发了若干国内有影响的虚拟现实应用系统。在理论和技术研究中提出了许多新思想、新概念和新方法,取得了创新成果。提出了多值逻辑方程及其应用机制;提出一种类比推理的计算模型;针对现有的一些 RTI 在大规模分布交互仿真和分布式虚拟现实应用中存在的规模小、实时性差等问题,进行研究,取得创新成果;在实时三维图形平台功能可扩展性、逼真快速建模、大规模场景实时绘制以及复杂对象的逼真绘制方面获得多项发明专利、发表一批学术论文。创建了中国计算机学会虚拟现实与可视化技术专业委员会。兼任《中国科学》F辑、《计算机研究与发展》副主编,《计算机学报》、《软件学报》等学术刊物编委。在国际、国内学术刊物和国际学术会议发表学术论文 160 余篇,出版专著 3 部。获国家科技进步一等奖 1 项、国家科技进步二等奖 2 项、省部级科技奖 9 项。获国家发明专利授权 36 项。已培养博士 46 人,硕士 60 余人。 3. 怀进鹏院士怀进鹏,博士,北京航空航天大学计算机学院教授,博士生导师,中国科学院院士,现任北京航空航天大学校长。 1962 年 12月 20 日生于黑龙江省哈尔滨市, 1987 年硕士毕业于哈尔滨工业大学计算机与电气工程学院后,分配到北京航空航天大学任教, 1990 年师从我国著名的计算机科学家、中科院院士李未教授, 1993 年获博士学位, 同年获国家教委首批“优秀中青年科技人才”计划资助, 于 1995 年9 月至 1996 年9 月赴美国哥伦比亚大学计算机学院进行学术交流与合作研究。怀进鹏教授现任北京航空航天大学校长、国家信息化专家咨询委员会成员、国家十五、十一五 863 计划计算机主题专家组组长、国家电子政务标准化总体组组长、中国计算机学会常务理事。近 20 年来, 主要从事计算机软件与理论、网络计算、网络信息安全等方面的研究和开发工作, 具有优秀的专业素质、开拓能