![]() |
| 李未 |
1943年6月8日出生,北京人,北京航空航天大学校长,中国科学院院士,计算机专家。
1961年09月—1968年06月,就读于北京大学数学力学系。
1968年06月—1979年07月,先后任北京航空学院基础部、计算中心教师。
![]() |
| 李未 |
1983年01月—1986年08月,任北京航空学院计算机系讲师,
1986年09月任北京航空航天大学计算机学院教授、博士研究生导师。
1997年当选为中国科学院院士。
2002年01月任北京航空航天大学校长,党委副书记。
国务院学位委员会委员,国家自然科学基金委员会委员,国家中长期科技发展规划专家组成员。软件开发环境国家重点实验室主任,教育部计算机教学指导委员会主任,《FrontiersofComputerScienceinChina》主编,电子学会副理事长。英国科学与工程委员会高级研究、德国不莱梅大学教授级研究员、德国萨尔布吕肯大学Zuse讲座教授。第十届全国政协委员是参与创立、发展和完善结构操作语义方法的主要学者之一,80年代初期,李未院士使用这种方法最先给出了Ada语言有关任务,包括并行、汇聚、通讯、同步及选择等机制的语义,建立了在并行机制下的程序模块以及程序例外处理的语义。他的工作系统地解决了诸如像Ada、Edison等并发式程序设计语言的操作语义问题,并在语义研究的基础上建立了并发语言的翻译与变换理论。
从1992年开始,李未院士根据在863计划实施过程中出现的软件开发方法及知识库的建立和维护等需求,提出了关于形式系统序列、极限及相关的计算模式等一系列的概念和方法,将分析数学中逼近和近似的方法用于软件系统的开发。这一研究在国际上首次提出了以版本作为基本对象、用版本序列描述开发过程、用版本系列极限刻画最终目标的概念和方法。
![]() |
| 李未 |
为解决网络环境下拥有海量信息、运行着海量进程的服务软件系统的设计、实现和维护中的重大问题,973“网络环境下海量信息组织与处理的理论与方法研究”项目组从海量信息科学、软件技术与方法以及试验性软件研究三个层次开展了基础研究。两年来,作为该项目的首席科学家,在他的领导下,项目组对此开展了富有成效的研究,取得了丰硕的成果,并顺利通过了科技部主持的项目中期评估,获得重点资助。
在计算机程序语义研究方面,获1995年国家自然科学二等奖。
1999年起,先后担任973计划“网络环境下海量信息的组织与处理的理论与方法研究”和“海量信息的协同性与可生存性的理论和实践研究”项目首席科学家。
![]() |
| 李未 |
已发表学术论文100余篇,专著1部。获2005年度国家教学成果一等奖,获何梁何利科技进步奖一项。培养博士后8名、博士研究生52名和硕士生96名。
李未院士在新主楼会议中心做题为“高等教育形势和国家实验室建设”的大会报告,分析了重点学科和高水平大学建设的形势,阐述了我校的办学思路,重点提出国家实验室建设是我校航空航天特色的载体和高水平“研究型”的标志,并将带动学科的全面发展。
李未院士从本科教学评估情况、“211工程”评估、985工程、国家重点学科考核等方面向与会观众介绍了重点学科和高水平大学建设的形势,他认为我国高水平大学和重点学科建设已初见成效,适应我国发展战略需求的高等教育层次结构基本形成,教育规模和质量基本满足国内的发展、战略需求,已形成了适应国家发展需求的学科和重点学科体系。
![]() |
| 李未 |
从北航毕业的日子,我对大家表示衷心的祝贺。今年我校共毕业了3332名本科生,其中一部分将走向社会,走上建设国家的岗位,一部分将留校或到其他高校继续深造,还有一部分同学将要出国留学。但无论如何,你们都将进入新的人生阶段,都面临着如何在今后的学习和生活中找准自己位置的问题。为此,我有以下几点希望:
首先应该看清世界发展的大趋势。二十年以后的世界将会是什么样的?我想它至少有四个特点:一是全球经济一体化基本实现;二是国际政治多边化构架基本成型;三是东西方文化的交流、碰撞和融通已成为世界文化的发展主流;四是中国必将成为世界经济、政治、文化发展的中坚力量。
在这样的世界中,我希望你们都能成为有大志向的人,具体说来就是成为世界全球经济一体化的领军人才,国际多边政治机构的领导人才,和东西方文化融通的推动者。
要想成为这样的人,就必须付出三倍于常人的努力,就必须像孟子所教导的那样,“必先苦其心志,劳其筋骨,饿其体肤,空乏其身,行拂乱其所为,所以动心忍性,曾益其所不能”。只有这样,不断地学习,艰苦奋斗,你们才能担当起民族振兴和人类进步的大任。
同学们,你们今后要走的道路是漫长的。希望大家能够始终保持良好的心态去面对工作,面对生活。德国大诗人歌德有诗云:“辽阔的世界,宏伟的人生。长年累月,真诚地勤奋。不断地探索,不断地创新。常常周而复始,但从不停顿。尊重传统,而又乐于迎新。心情舒畅,目标纯正。啊!这样又会前进一程”。
总之,我们只有保持了良好的心态,才能持续不断地付出艰苦的努力。也只有这样我们才能成为真正有利于社会,有利于国家,有利于人类,又对得起自己人生的人。我愿以中外思想家的这两段名言,送同学们踏上人生新的征程。
![]() |
| 李未 |
当学生们在基地完成设计、制作和地面试验后,还要到外场进行飞行试验验证。因此,对于飞机各方面的性能要求是非常高的。
航空和航天是一个非常广泛的范围,比如说我们的航空上的自动控制系统,航空需要通讯,所以我们这个电子系统航空材料很重要。另外呢,空气动力学对飞行的性质,在他们所长和将要发展的方面,更加强化他们的分析和解决问题的能力。
为了让学生们更好的完成学业,北京航空航天大学还专门为本科学生配备了导师。
敏锐的专业洞察力,严谨求实的科学态度,积极的强烈的协作精神,像这些东西都不是在大课或者是通过政治活动能够建立的,必须要有老师要耳提面命。所以我们才要设立这个导师制,通过导师来单独给这些学生,根据每一个人的特点来进行,不断地提高他们在这些方面的素质。
北京航空航天大学的本科学生导师制,从2002年试行到今,已经有5年的时间了。由于这项制度突破了以往的只有研究生才有导师惯例,所以当初在李未提出时,曾引起了不小的波澜。
师者,传道授业解惑。我们不仅仅是传授知识,对这些方面更重要的是如何做人。所以,大多数的老师是赞成的。当然也有一些老师,现在呢因为我们是个研究型的大学,研究型的大学呢,比如说我们在实验室里工作的都是一些专职的研究人员,本科生呢他们就不一定带。
为了保障制度得以实施,学校做了很多工作,比如大量征求教师意见,认真分析导师制的优势等等。
![]() |
| 李未 |
除了担任北航校长之外,李未还担任软件开发环境国家重点实验室主任,北航计算机学院教授,多年来,一直从事计算机科研工作和教育工作。现在,担任大学校长,繁忙的工作让年过花甲的李未总是事务缠身,然而他却一直保持着一个习惯,李未说,这个习惯让他心里格外的踏实。
每天走在校园里,早上走一圈,晚上走一圈,觉得非常惬意。看到我们学校校园一天一天地变化,整个的本科教育质量、研究生教育质量不断提高,我就是有一个感觉,觉得生活充实,我尽了我应该做的责任,作为一个老师。
对于自己长期从事的计算机教学与科研工作,李校长流露出一种特殊的感情。他特别强调,当前我国学生的计算机应用水平并不亚于西方先进国家,我们的计算机专业的学生接触和解决实际问题的机会要多于外国学生,但和世界著名大学相比,基础性、前瞻性研究以及创新能力和博士生培养还有较大的差距。这值得高等教育界的充分重视。
对于北航乃至整个中国高等教育未来的发展,李校长表示充满了信心。他说,中国的大学一定能在我国全面建设小康社会的征途上作出更大的贡献。
| 梁思礼 | 匡定波 | 李衍达 | 雷啸霖 | 林尊琪 |
| 干福熹 | 黄宏嘉 | 李启虎 | 陆汝钤 | 刘盛纲 |
| 郭雷 | 黄民强 | 李未 | 侯洵 | 刘永坦 |
| 郭光灿 | 黄琳 | 简水生 | 李志坚 | 刘颂豪 |
| 高庆狮 | 何积丰 | 侯朝焕 | 林惠民 | 阙端麟 |
1、http://www.huadu.info/school/xinwen.asp?id=11977&usr=null
2、http://www.scichi.com/new/Article/1293.html
位网民共同编写而成。共计






