记中国科学院院士——李未[辽宁省实验中学 [官方门户网站]]

    李未在英国读博士十分勤奋、刻苦。第一年每天学习时间超过12小时，一边消化导师讲的，一边通补没学过的新专业课程，同时还要适应语言环境，年底追到班上的平均水平。在读博三年半的时间里，在导师的指导下，李未在并发程序的设计的研究方法方面发表了6篇论文，在学界初露头角，于1983年1月通过博士答辩，成为新中国在英国的第一位计算机科学博士。

    李未在国外学习的时候始终关心国家的科学技术发展，有很强的事业心和强国责任感。博士答辩之后，他放弃了留在国外长期从事研究工作的机会，1983年回国，随着专业理论水平充实、精进，科学视野更远，李未发展了数理逻辑的理论，提出了对科学理论进行修正数学演算系统，为软件测试的自动化奠定了理论基础，成为计算机科学领域的知名学者，1997年当选中国科学院院士。

    李未非常关注我国科技发展，以自己的学识选好突破口，曾担任国家高技术发展计划（863）专家，国家重点基础研究计划首席专家和科技部专家顾问委员会委员，为国家的科技发展出谋献策。他也十分关注国家航空产业的发展，两次担任中长期科技规划大型飞机重大专项的首席专家，结束了我国关于大型客机三十年的争论，是大型客机走上了产业化发展道路。

    机会又幸运地落在立志为国作事、敢于闯关的人。

    李未由于贡献突出，1986年晋升为最年轻的教授，1992年担任软件开发环境国家重点实验室主任。2002年又被推举、任命为北京航空航天大学校长。他以现代国际一流大学为标准，结合中国的实际国情，在本科和研究生培养、学科的建设与发展、产学研结合和高校管理等方面具有系统的创新性思维和丰富的实践。几年来，北航的教育质量全面提升，核心竞争力显著增强，成为一所发展的又好又快的大学。

    他以远见卓识、探索求真，以发展未来的胸怀，以计算机思维方式规划和指导，做好每项工作。他最关注是大学生德才兼备、综合素质的培养。他最热心的是抽出时间著书立说，实现青少年时确立的人生目标。



    李未院士：著名计算机科学专家，北京航空航天大学校长、教授、博导。软件开发环境国家重点实验室主任。教育部教学指导委员会计算机部主任。中国科学院院士。