李未(中国科学院院士、计算机科学家)

来源：互联网

李未（1943年6月8日-2026年1月25日），男，出生于北京市，中国科学院院士，计算机科学家、教育家，中国计算机和人工智能领域重要奠基人之一，第十、十一届全国政协委员，北京航空航天大学原校长。

1961年至1966年，李未在北京大学数学力学系学习。1968年起，李未在北京航空学院任教。1979年至1983年，李未赴爱丁堡大学学习，获计算机科学博士学位。1997年，李未当选中国科学院院士。2002年1月至2009年5月，李未任北京航空航天大学校长。2026年1月25日23时10分，李未同志因病医治无效在北京逝世，享年82岁。

李未同志是国际上最早研究和发展并发程序语言的结构操作语义模型的学者之一，在实用并发语言操作语义、形式理论序列和修正演算等方面取得了开创性研究成果。他在中国率先倡导开展海量信息计算的理论与方法研究。李未同志曾任国务院学位委员会委员、国家高技术研究发展计划（863计划）专家组副组长、国家重点基础研究发展计划（973计划）首席科学家。李未曾获国家自然科学二等奖、国家科技进步二等奖、国家级教学成果一等奖、何梁何利基金奖、光华科技进步一等奖、俄罗斯康斯坦丁·齐奥尔科夫斯基奖章、首都劳动奖章等荣誉。

人物生平

1943年6月8日，李未出生于北京市。1961年至1966年，李未在北京大学数学力学系学习。1968年起，李未在北京航空学院任教。1979年，李未加入中国共产党。1979年至1983年，李未赴爱丁堡大学学习，获计算机科学博士学位。1986年起，李未担任北京航空航天大学博士生导师。1997年，李未当选中国科学院院士。2002年1月至2009年5月，李未任北京航空航天大学校长。2012年起，李未积极推广慕课。2014年，李未发起组建中国高校计算机教育MOOC联盟。

2026年1月25日23时10分，李未同志因病医治无效在北京逝世，享年82岁。李未同志遗体送别仪式于2026年1月31日上午9时在八宝山殡仪馆东礼堂举行。

人物成就

科研成就

科研综述

李未同志是国际上最早研究和发展并发程序语言的结构操作语义模型的学者之一，在实用并发语言操作语义、形式理论序列和修正演算等方面取得了开创性研究成果。他在中国率先倡导开展海量信息计算的理论与方法研究。在国际上提出群体软件工程概念，凝练的群体智能新研究方向被列入国家新一代人工智能发展战略规划。

李未对科学理论的进化、软件及其功能描述中的缺陷和程序错误的定位和修复进行了系统深入的研究，提出了关于版本序列的理论，建立了对错误进行修正的形式演算系统（R-演算）；设计了描述软件开发方法的形式语言，提出了可信软件开发方法的基本理论。

学术论著

李未在国际、国内学术刊物和国际学术会议发表学术论文百余篇，中文专著2部，英文专著1部。

承担项目

参考资料

科研成果奖励

参考资料

人才培养

高校治理

李未于2002年至2009年在北京航空航天大学担任校长，在中国高等教育从精英教育向大众化教育的历史性变革中，创新性地谋划学校的改革和发展，探索以理工科见长的大学全面提高教育质量的路径，推动北京航空航天大学由一所行业性大学向国际知名的高水平研究型大学转变，为北京航空航天大学十余来的持续快速发展奠定了坚实的基础。

李未认为高等教育的根本在于立德树人，高水平的科学研究，体现了学校的学术水平，同时也是为培养人才服务的，他提出要不断把科研的优势转化为人才培养优势。他还提出“本科是大学之本”，制定了“强化基础、突出实践、重在素质、面向创新”的本科教学指导方针和坚持“严进、重教、优出”的培养措施。全校着力打造六门核心基础课，通过使用高质量教材、聘请名师讲课等，让学生享受到更高质量的本科教育。他亲自指导成立高等工程学院，按照先试点、后推广的原则，积累经验，改进不足，逐步将本科教学改革措施向各个学院推广。在研究生教育中，他提出了“拓宽基础、瞄准前沿、共建团队、自主创新”的工作方针，全面修订博士生、硕士生培养方案，大力推进研究生梯队式培养。

项目管理

李未先后受命担任国家中长期科技发展规划大型飞机重大专项论证专家组组长、大型飞机重大专项实施方案论证委员会主任委员，为国家大型飞机重大专项立项和实施做出突出贡献。

学生指导

李未自1986年起担任博士生导师，培养博士后8名、博士研究生52名和硕士生百余人。

教育成果

参考资料

社会活动

2016年7月22日，由大中华区MOOC研讨会指导委员会主办、西安交通大学承办的第三届大中华区MOOC研讨会在西安交大学术交流中心开幕，李未院士出席开幕式。李未院士在《互联网+与中国高等教育》的主题报告中指出，高校教育面临资源参差不齐、顶尖人才缺失、信息技术发展不足等问题，如何提高教学质量成为了核心问题。李未认为，高等教育的质量核心是本科教育质量，而本科教育的核心则是核心基础课与科技实践课。因此，各高校应给予MOOC建设高度重视，抓住机遇，共同推动师资共有是各高校责无旁贷的责任。李未认为，MOOC推广应当结合基本国情，通过互联网+全面提高教育管理质量，从发展面向验证的科技实验课程入手，形成大众创业、万众创新，人才支持的新型高质人才社会。

主要作品

论文作品

截至2026年1月27日，中国知网累计收录李未128篇期刊论文。

参考资料

出版图书

荣誉奖项

社会任职

参考资料

人物评价

李未同志的一生，是忠诚于党、奋斗不息的一生，是躬身报国、服务人民的一生。作为科学家，他高瞻远瞩、求真创新，助力高水平科技自立自强。作为教育家，他治校有为、育才有方，深受师生敬重与爱戴。李未同志的逝世，是国际信息科学界和中国高等教育事业的重大损失！我们沉痛悼念并深切缅怀李未同志！（北京航空航天大学评）

李未同志的逝世，是国际信息科学界和中国高等教育事业的重大损失。愿李未同志安息！（中国计算机协会评）

李未在并行程序语言翻译正确方面做出了创始性贡献，在研究和使用硅编译技术及智能计算机研究等方面做出了突出成绩。（北京航空航天大学评）

参考资料 >

沉痛悼念李未同志.中国计算机学会.2026-01-27

教授.北京航空航天大学计算机学院.2026-01-27

讣告｜沉痛悼念李未同志！.微信公众平台.2026-01-27

北京航空航天大学原校长李未逝世，享年82岁.北京航空航天大学.2026-01-27

北航原校长李未院士获科学中国人年度人物“杰出大学校长奖”.北京航空航天大学.2026-01-27

高校获2004年度国家科学技术进步奖获奖项目.中华人民共和国教育部.2026-01-27

第三届大中华区MOOC研讨会在西安交大举行.西安交通大学新闻网.2026-01-27

李未.中国知网.2026-01-27

李未院士文集.豆瓣读书.2026-01-27