北航导师介绍.doc

北航导师介绍北京航空航天大学计算机学院硕士研究生招生手册北京航空航天大学计算机学院二零一四年九月李未院士李未,北京航空航天大学计算机学院教授,博士生导师,中国科学院院士,国务院学位委员会委员,第十、十一届全国政协委员,科技部专家顾问委员会委员,教育部咨询委员会委员,教育部计算机教学指导委员会主任,电子学会副理事长。李未院士是我国著名的计算机科学家。1943年6月8日出生,1966年北京大学数学与力学系毕业,1983年获英国爱丁堡大学计算机科学博士学位。2002-2009年任北京航空航天大学校长。现任软件开发环境国家重点实验室主任。曾任国家中长期科技发展规划大型飞机重大专项论证专家组组长,以及实施方案论证专家委员会主任委员。李未院士在实用并发语言操作语义、形式理论序列和修正演算等方面取得了开创性研究成果。他对科学理论的进化、软件及其功能描述中的缺陷和程序错误的定位和修复进行了系统深入的研究,提出了关于版本序列的理论,建立了对错误进行修正的形式演算系统(R-演算);设计了描述软件开发方法的形式语言,提出了可信软件开发方法的基本理论;在2007年和2010年分别出版了中英文专著《数理逻辑——基本原理与形式演算》。李未院士在我国率先倡导进行海量信息计算的理论与方法研究,曾两次担任国家重点基础研究发展规划(973)项目的首席科学家。李未院士1995年获国家自然科学奖二等奖一项,1997年获何梁何利科技进步奖一项,2004年获国家级科技进步二等奖一项,2005年获国家教学成果一等奖一项。李未院士任《中国科学:信息科学》中英文版和《puterScienceinChina》的主编。在国际、国内学术刊物和国际学术会议发表学术论文百余篇,中文专著2部,英文专著1部。86年起担任博士生导师,培养博士后8名、博士研究生52名和硕士生百余人。目前主要研究方向包括:计算机科学理论与软件基础非结构化数据理论与实践大数据的分析与处理赵沁平院士赵沁平,北京航空航天大学计算机学院教授,博士生导师,中国工程院院士,中国系统仿真学会理事长,虚拟现实技术与系统国家重点实验室主任。赵沁平教授多年来在计算机科学领域进行虚拟现实技术和人工智能基础研究,先后承担了国家自然科学基金重大、重点项目、国家863计划、973计划、国防科技预先研究等20余项国家科研任务。在我国率先开展了机器类比推理的研究,提出一种类比推理计算模型;主持设计实现了芯片级类比推理器,并采用软硬件结合的方式构建了类比推理机系统。作为我国最早从事虚拟现实技术的研究者之一,坚持开展虚拟现实技术的研究、开发与应用。;主持研制了具有自主知识产权的分布交互仿真应用程序开发与运行平台BH_RTI、和实时三维图形平台天绘;基于上述成果组织开发了若干有影响的虚拟现实应用系统。创建了中国计算机学会虚拟现实与可视化技术专业委员会。兼任《中国科学》F辑、《计算机研究与发展》副主编,《计算机学报》、《软件学报》等学术刊物编委。在国际、国内学术刊物和国际学术会议发表学术论文180余篇,出版专著3部。获国家发明专利授权50余项。获国家科技进步一等奖1项、国家科技进步二等奖2项、国际技术发明二等奖1项,获省部级科技奖9项。已培养博士56人,硕士90余人。怀进鹏院士怀进鹏,博士,北京航空航天大学计算机学院教授,博士生导师,中国科学院院士,现任工业和信息化部副部长。1962年12月20日生于黑龙江省哈尔滨市,1987年硕士毕业于哈尔滨工业大学计算机与电气工程学院后,分配到北京航空航天大学任教,1990年师从我国著名的计算机科学家、中科院院士李未教授,1993年获博士学位,同年获国家教委首批“优秀中青年科技人才”计划资助,于1995年9月至1996年9月赴美国哥伦比亚大学计算机学院进行学术交流与合作研究。怀进鹏教授是国家信息化专家咨询委员会成员、国家十五、十一五863计划计算机主题专家组组长、国家电子政务标准化总体组组长、中国计算机学会常务理事。近20年来,主要从事计算机软件与理论、网络计算、网络信息安全、大数据计算等方面的研究和开发工作,具有优秀的专业素质、开拓能力和创新意识。已主持国家863计划、自然科学基金、国防基金、攻关计划、国际合作项目、信息产业部电子发展基金、国防重大研究计划和国防预研计划和国家信息安全中心等研发计划项目,并主持了国防科工委、工商行和北京市等多项大型信息系统研制。近年来,在网络软件、Web服务技术、网络安全及大数据计算方面取得了重要的研究和实践结果,发表学术论文100余篇,获国家技术发明二等奖1项,国家科学技术进步二等奖2项,省部级科学技术进步一等奖5项。怀进鹏教授的招生联系人是:刘旭东老师,邮箱:******@buaa.,办公地点:G1116,电话:82316285李德毅院士李德毅,中国工程院院士,国际欧亚科学院院