李未同志讣告

中国共产党党员，中国科学院院士，著名计算机科学家、教育家，我国计算机和人工智能领域重要奠基人之一，第十、十一届全国政协委员，北京航空航天大学原校长李未同志，因病医治无效，于2026年1月25日23时10分在北京逝世，享年82岁。

李未同志1943年6月生于北京，1979年加入中国共产党。1961年至1966年在北京大学数学力学系学习。1968年起在北京航空学院（现北京航空航天大学）任教。1979年至1983年赴英国爱丁堡大学学习，获计算机科学博士学位。1997年当选中国科学院院士。2002年1月至2009年5月任北京航空航天大学校长。

李未同志是国际上最早研究和发展并发程序语言的结构操作语义模型的学者之一，在实用并发语言操作语义、形式理论序列和修正演算等方面取得了开创性研究成果。在我国率先倡导开展海量信息计算的理论与方法研究。在国际上提出群体软件工程概念，凝练的群体智能新研究方向被列入国家新一代人工智能发展战略规划。创建软件开发环境国家重点实验室并担任首届主任。曾任国务院学位委员会委员、国家高技术研究发展计划（863计划）专家组副组长、国家重点基础研究发展计划（973计划）首席科学家。获国家自然科学二等奖、国家科技进步二等奖、国家级教学成果一等奖、何梁何利基金科学与技术进步奖、光华科技进步一等奖、俄罗斯齐奥尔科夫斯基奖章、首都劳动奖章等荣誉。

李未同志担任北京航空航天大学校长期间，以深远的战略眼光和卓越的领导能力，与领导班子一道，带领学校建成国内一流、世界知名高水平研究型大学，为北航中国特色、世界一流大学建设奠定坚实基础。他高度重视培育学校空天信融合新特色，推动学校从拓展办学规模向全面提高办学质量转变，从培养常规型科技人才向培养创新型专业人才转变。他强调本科是大学之本，大力推行“严进、重教、优出”的培养措施，显著提升人才培养质量。他强调“以学生为本、以教师为本”，坚持教授治学和扁平化管理，推动按一级学科建设学院，扩大院（系）办学自主权，极大激发基层组织活力。他强调一流大学要做出历史性贡献，紧扣国家战略需求，培养领军和领导人才，产出标志性科研成果。他先后受命担任国家中长期科技发展规划大型飞机重大专项论证专家组组长、大型飞机重大专项实施方案论证委员会主任委员，为国家大型飞机重大专项立项和实施做出突出贡献。

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

李未同志遗体送别仪式将于2026年1月31日上午9时在八宝山殡仪馆东礼堂举行。

谨此讣告！

北京航空航天大学

2026年1月26日

党政办公室联系人：

陈老师 010-82315980 18518687806

刘老师 010-82315980 18611393216

计算机学院联系人：

周老师 010-82338171 13521957378

王老师 010-82339287 18810828049

传真号：010-82315980

邮 箱：bhdzb@buaa.edu.cn

敢为人先 求真创新

在北航从事计算机科研与教育工作的李未，是改革开放后国家选派的第一批出国留学人员，赴英国爱丁堡大学学习并获得了计算机科学博士学位，成为新中国成立以来大陆第一位在英国获得计算机科学博士学位的留学生。学成归国后，李未加入国家高技术研究发展计划（863计划）智能计算机系统主题专家组，担任第一届至第四届副组长，并成为了当时最年轻的国务院学位委员会委员。他在北航创建了软件开发环境国家重点实验室，担任实验室主任20余年。

1980年，李未在英国留学

李未始终致力于开拓计算机理论研究的“无人区”，在实用并发语言操作语义、形式理论序列与修正演算等方面取得了一系列原创成果，为我国计算机和人工智能领域的基础研究、关键技术自主创新以及人才培养做出了重要贡献。1997年，李未当选为中国科学院院士。

李未系统地解决了实用并行程序设计语言，特别是并行及通讯结构的语义问题，在并行程序语言翻译方面做出了创始性贡献。他提出了开放逻辑理论，建立了形式系统序列的极限理论等，证明了正交设计的最优性，在研究和使用大规模集成电路技术及智能计算机研究等方面做出了突出成果。他建立了错误修正的形式演算系统（R-演算），并证明了R-演算的可靠性、完全性和可达性。他提出并设计了过程模式语言，提出并研究了合理过程模式的三个基本特性等原创性理论。

1995年，李未指导青年教师和博士生

李未在我国率先倡导了开展海量信息计算的理论与方法研究，他曾任我国第一个IPV6互联网的专家组组长，并连续担任两个国家重点基础研究发展计划（973计划）海量信息项目的首席科学家。他提出了信息物理学的思想和非结构数据的四面体模型，解决了异构多模态信息的统一描述难题，探索了海量非结构化数据管理的新路径。

李未在国际上率先提出了群体软件工程概念，定义了群体软件工程的基本要素，提出一系列重要的群体软件工程原理，初步建立了群体软件工程的理论基础。2016年，人工智能的突破性进展初现端倪，李未与一批信息领域的专家学者提出中国人工智能2.0的战略构想。他特别提出人工智能2.0最重要的新变化之一是互联网群体智能的出现，推动将群体智能列入2017年国务院发布的《新一代人工智能发展规划》。

国家自然科学二等奖、国家科技进步二等奖、何梁何利基金科学与技术进步奖、光华科技进步一等奖、俄罗斯齐奥尔科夫斯基奖章……一份份沉甸甸的荣誉，镌刻着李未数十年来在科研之路上的厚重足迹。

然而每每谈及这些成就，他总是诚恳而谦逊：“我人生的每一步成长，每一次进步，都离不开国家的培养、北航的支持，也离不开改革开放带来的时代机遇与环境。”李未始终把干好工作、回报祖国和学校作为自己不变的选择，他常说，要“用三倍于常人的努力去工作与学习”。

心有大我 至诚报国

2002年，李未接过北京航空航天大学校长的重任。他把自己的首要任务定为“和北航领导班子以及全校师生一起，把北航建成国际知名的高水平研究型大学”，提出“一流大学要做出历史性贡献”，要为国家战略需求服务。

2008年，北航划归工业和信息化部。李未在当年的暑期工作会上说：“学校有关信息科学与技术的学科，经过半个多世纪的发展，已经成为学校强势学科，实力进入全国高校第一方阵。它们与航空航天学科群一样，是学校服务工业与信息化融合的战略性资本。”他敏锐地指出，学校要“培育空天信融合的新特色”，开启了北航向以空天信融合为特色的一流大学转变的道路。

面向国家需求建学科，创造能产生一流贡献的科研环境，把握好“项目、成果、人才、基地”之间相互促进、螺旋上升的关系……李未的系列办学理念，为学校开展基础性、前瞻性和战略高技术研究，在服务工业化、信息化和国防现代化方面做出重要贡献提供了科学指引。

他在任期间，北航有8个一级学科评上国家重点一级学科，并列全国高校第7名。学校科研项目和科技经费稳居全国高校前10名，人均科研经费位居全国高校前3名，从3个国家级重点实验室发展到6个国家级重点实验室、28个省部级实验室。2004年-2010年，学校共获得7项国家级科技奖励一等奖，交出了让国家和人民满意的“北航答卷”。

与张彦仲院士（左）、顾诵芬院士（右）共同担任大型飞机重大专项实施方案论证委员会主任委员

北航从立项论证开始，就深度融入我国大型飞机重大专项。2003年，李未受命担任大型飞机重大专项论证专家组组长。专家组历经8个月全面深入的调研，顺利完成立项论证工作。2006年，李未担任大型飞机重大专项实施方案论证委员会主任委员，他以深厚的学识和战略视野提出一批核心建议，为项目指明了关键方向。中国大飞机的腾飞之路上刻下了李未的奋斗身影，他也获得了国家中长期科学与技术发展规划“突出贡献奖”。

立德树人 行为世范

“高等教育的根本在于立德树人。”这是李未始终坚守的教育理念。他强调“本科是大学之本”，制定实施“严进、重教、优出”的培养措施，围绕“培养在国民经济和国防建设等领域具有领军和领导潜质的人才”这一目标，推出了一系列人才培养改革举措，搭建了以学生和教师为本的、面向服务的大学管理体系，学校本科和研究生教学质量显著提升。

李未为本科教学制定了“强化基础、突出实践、重在素质、面向创新”的指导方针，采取着力打造六门核心基础课，使用高质量教材、聘请名师讲课，充分调动教师投入教学改革的积极性等系列举措。几年过去，北航本科教学质量稳步提高，本科毕业生深造比例从2002年的28%上升到2011年的62%。

研究生教育方面，李未提出“拓宽基础、瞄准前沿、共建团队、自主创新”的工作方针，全面修订博士生、硕士生培养方案，大力推进研究生梯队式培养，相关工作获2005年国家级教学成果一等奖。

李未为毕业生拨穗

在李未的关心下，学校相继成立了高等工程学院、中法工程师学院、华罗庚数学班等，这些人才培养示范区试点的探索与实践，为北航拔尖创新人才培养改革打下了坚实的基础。

李未指出，“学校的工作就是要本着服务的精神，努力为有条件的教师创造出使他们在科学和工程方面能够做出国家最高学术成就的环境”。他加大引进高水平研究型人才的力度，培育一流师资队伍，加强国际交流与合作。他倡导按一级学科建设学院，实行教授治学和扁平化结构，推动行政权力与学术权力协调配置，极大调动了教师的积极性和能动性，使学院真正成为办学的基点。

担任校长的7年时间里，李未基于对我国经济社会特点和高等教育规律的深刻洞察，确立了学校的办学特色、发展目标，在本科教育、研究生教育、科技创新、学科建设、校园规划、基本建设以及大学管理等方面都提出了系列改革举措，推进了各项改革实践。

李未给本科生上课

卸任校长后，李未依然心系教育公平，2012年起积极推广慕课，2014年发起组建中国高校计算机教育MOOC联盟，吸引了百余所高校加盟。

作为教师，他指导博士生90余名、硕士生180余名，培养了一批计算机和人工智能领域的杰出人才。他还设立了“探索奖学金”，激励学生勇担科技报国重任，用无私奉献诠释着教育工作者的初心。

从科研创新到人才培养，从办学治校到服务国家，作为突破信息理论边界的科学家、擘画一流大学蓝图的教育家、领衔重大科技任务的战略家，李未以卓越的贡献与崇高的风范，深受广大师生的敬重和爱戴。他的学术精神、教育理念和报国情怀，如明灯照亮后辈前行之路，激励着更多人勇攀高峰、砥砺奋进，为高水平科技自立自强和教育强国建设贡献力量。

云山苍苍，江水泱泱

先生之风，山高水长

师道永存，杏坛流芳

我们沉痛悼念、深切缅怀李未同志

李未同志永垂不朽！

来源：北京航空航天大学