北京航空航天大学计算机学院简介

　　1958年，北航成立了“解算装置教研室”，是我国最早创建计算机专业的高等院校之一。1975年建立“计算机软件”专业，1978年正式成立北航计算机科学与工程系。2002年9月，经学校批准成立计算机学院。

　　计算机学院现有中国科学院院士1名、教授29名(其中博士生导师19名)，兼职博导8名，副教授58名。下设计算机科学技术系、计算机应用工程系、计算机教学实验中心、软件工程研究所、系统结构研究所等单位；建有软件开发环境国家重点实验室、虚拟现实技术与系统国家重点实验室、可信计算工业与信息化部重点学科实验室、先进计算机应用技术教育部工程中心、北京市计算机新技术重点实验室、北京市网络技术重点实验室、中德软件技术联合研究所以及中国航空工业第二集团公司计算机与信息技术研究发展中心。

　　经过二十多年的发展和建设，计算机学院在学科建设、科学研究、教学及人才培养等方面综合水平居于全国高校前列。1998年获批计算机科学与技术一级学科博士授予权及首批实施长江学者计划(特聘教授岗位)的单位之一；2001年获批计算机软件与理论国家重点学科，2002年获批计算机系统结构国防科工委重点学科、计算机应用技术北京市重点学科。2005年获批北京地区高等学校信息技术学科群；2007年获批计算机科学与技术一级重点学科。学院以计算机科学与工程为基础，形成了计算机科学理论与基础、新一代互联网络下的协同工作环境、软件工程与过程工程、面向领域服务的软件支撑技术与环境、虚拟现实体技术、大规模信息化工程、计算机网络及信息安全、多媒体与数字图像处理、高性能计算机及网络技术、嵌入式与容错计算技术等有特色、有优势的研究方向。

　　2000年以来，计算机学院获国家科技进步二等奖7项，国家科技发明二等奖2项，何梁何利奖1项及省部级奖等80余项。获国家教学成果一等奖1项、二等奖2项。学院完成的国家自然科学基金重点项目、863计划重点项目、国家重大工程项目、国际合作项目等达400余项，科研经费到款额超过6亿元。一批成果已达到国内领先或国际先进水平，并成功地申请了一批专利，部分成果已转化为产品。在国内外核心期刊发表学术论文1500余篇。承担973重大基础研究项目6项、863计划项目22项、国家自然科学基金重点项目、国防重点项目、国家重大工程项目以及国际合作项目等130多项。与美国、德国、英国、日本及香港等国家和地区的大学或公司建有长期合作研究关系。

　　计算机学院注重专业知识与综合素质、理论基础与科研实践的结合，倡导认真严谨、开拓创新的学风，为国家培养了一批批优秀人才。学院代表队在2001年获得微软公司举办的亚洲大学生软件开发.Net大赛冠军。2002年，我院许可博士的论文《SAT和CSP的相变现象研究》入选全国百篇优秀博士论文。2004年我院学生代表队获全球GSM和Java智能卡应用开发大赛金奖。2007年我院学生代表队在第四届Grid Plugtests全球网格算法和程序设计竞赛中获得银奖。在北航举办的十七届“冯如杯”学生课外科技竞赛活动中，学院曾八次获得团体冠军。学院毕业生以优良的综合素质在社会上赢得了良好的声誉。

　　信息技术时代，瞬息万变、竞争激烈，“慢进则衰，不进则亡”。计算机学院全体师生将继承传统，团结拼搏，与时俱进，开拓创新，为建设国内一流、国际知名的高水平、研究型的计算机学院而奋斗。

　　北京航空航天大学计算机学院师资情况

　　李未 1943年6月8日出生，北京航空航天大学计算机学院教授，博士生导师，中国科学院院士，国务院学位委员会委员。 

　　李未院士1966年北京大学数学与力学系毕业，1983年获英国爱丁堡大学计算机科学博士学位。现任北航软件开发环境国家重点实验室主任。李未院士在实用并发语言操作语义和形式理论序列及其极限研究等方面取得了开创性研究成果。1998年李未院士在我国首先倡导进行海量信息计算的理论与方法研究，现担任国家重点基础研究发展规划(973)项目“网络环境下海量信息组织、处理及传输的理论与方法”首席科学家。李未院士获国家自然科学奖二等奖一项，省部级科技进步奖一等奖及二等奖多项，何梁何利科技进步奖一项。

　　李未院士是参与创立、发展和完善结构操作语义方法的主要学者之一，80年代初期，李未院士使用这种方法最先给出了Ada语言有关任务，包括并行、汇聚、通讯、同步及选择等机制的语义，建立了在并行机制下的程序模块以及程序例外处理的语义。他的工作系统地解决了诸如像Ada、Edison等并发式程序设计语言的操作语义问题，并在语义研究的基础上建立了并发语言的翻译与变换理论。

　　从1992年开始，李未院士根据在863计划实施过程中出现的软件开发方法及知识库的建立和维护等需求，提出了关于形式系统序列、极限及相关的计算模式等一系列的概念和方法，将分析数学中逼近和近似的方法用于软件系统的开发。这一研究在国际上首次提出了以版本作为基本对象、用版本序列描述开发过程、用版本系列极限刻画最终目标的概念和方法。

　　李未院士用模型的概念和方法，给出了知识库维护过程中“增新扩充”和“出错修正”的合理描述，首次建立了一个“规约修正”演算系统，并给出了基于Prolog语言的“规约修正”算法，该演算系统使程序规约的修正有了可操作的数学方法。他首次提出软件开发策略、知识库维护策略的收敛性概念，并用版本序列的收敛速度衡量维护策略的优劣。在他指导下的课题组成员还研究了力迫、猜想与反驳、归纳等多种软件开发策略，并证明了它们的收敛性。李未院士将这一整套概念和方法称之为“开发逻辑”理论，并曾应邀在德、法、英、丹麦、及瑞典等国的大学就“开发逻辑”理论进行讲演和讲学。

　　为解决网络环境下拥有海量信息、运行着海量进程的服务软件系统的设计、实现和维护中的重大问题，973“网络环境下海量信息组织与处理的理论与方法研究”项目组从海量信息科学、软件技术与方法以及试验性软件研究三个层次开展了基础研究。两年来，作为该项目的首席科学家，在他的领导下，项目组对此开展了富有成效的研究，取得了丰硕的成果，并顺利通过了科技部主持的项目中期评估，获得重点资助。

　　怀进鹏 男，博士，教授，博士生导师。

　　怀进鹏教授1962年12月20日生于黑龙江省哈尔滨市，1987年硕士毕业于哈尔滨工业大学计算机与电气工程学院后，分配到北京航空航天大学任教，1990年师从我国著名的计算机科学家、中科院院士李未教授，1993年获博士学位，同年获国家教委首批“优秀中青年科技人才”计划资助，于1995年9月至1996年9月赴美国哥伦比亚大学计算机学院进行学术交流与合作研究。

　　怀进鹏教授现任北京航空航天大学校长、国家信息化专家咨询委员会成员、国家十五863计划计算机主题专家组组长、国家电子政务标准化总体组组长、中国计算机学会常务理事。近10年来，主要从事计算机软件与理论、计算机应用、网络信息安全等方面的研究和开发工作，具有优秀的专业素质、开拓能力和创新意识。已主持国家863计划、自然科学基金、国防基金、攻关计划、国际合作项目、信息产业部电子发展基金、国防重大研究计划和国防预研计划和国家信息安全中心等研发计划项目，并主持了国防科工委、工商行和北京市等多项大型信息系统研制。近年来，在网络软件、Web服务技术和网络安全方面取得了重要的研究和实践结果，发表学术论文100余篇，近几年来，获国家科学技术进步二等奖2项，省部级科学技术进步一等奖5项。

　　跨考教育独家整理收集，未经许可不得转载。

    更多信息请访问：新浪考研频道 考研论坛 考研博客圈

　　特别说明：由于各方面情况的不断调整与变化，新浪网所提供的所有考试信息仅供参考，敬请考生以权威部门公布的正式信息为准。