讣告核心信息 - 北京航空航天大学原校长、中国科学院院士李未同志于2026年1月25日23时10分在北京逝世，享年82岁 [3] - 遗体送别仪式定于2026年1月31日上午9时在八宝山殡仪馆东礼堂举行 [5] 个人生平与学术地位 - 李未同志1943年6月生于北京，1961年至1966年在北京大学数学力学系学习，1979年至1983年在英国爱丁堡大学获计算机科学博士学位，1997年当选中国科学院院士 [3] - 他是国际上最早研究并发程序语言结构操作语义模型的学者之一，在实用并发语言操作语义、形式理论序列和修正演算等方面取得开创性成果 [4] - 他在国内率先倡导开展海量信息计算理论与方法研究，在国际上提出群体软件工程概念，其凝练的群体智能新研究方向被列入国家新一代人工智能发展战略规划 [4] - 他曾任国务院学位委员会委员、国家863计划专家组副组长、国家973计划首席科学家 [4] 教育贡献与治校理念 - 李未同志于2002年1月至2009年5月担任北京航空航天大学校长，带领学校建成国内一流、世界知名高水平研究型大学 [3][4] - 他高度重视培育学校空天信融合新特色，推动学校从拓展办学规模向全面提高办学质量转变，从培养常规型科技人才向培养创新型专业人才转变 [4] - 他强调本科是大学之本，大力推行“严进、重教、优出”的培养措施，显著提升人才培养质量 [4] - 他强调“以学生为本、以教师为本”，坚持教授治学和扁平化管理，推动按一级学科建设学院，扩大院系办学自主权 [5] 科研领导与国家战略贡献 - 他创建了软件开发环境国家重点实验室并担任首届主任 [4] - 他曾受命担任国家中长期科技发展规划大型飞机重大专项论证专家组组长、大型飞机重大专项实施方案论证委员会主任委员，为国家大型飞机重大专项立项和实施做出突出贡献 [5] - 他获得国家自然科学二等奖、国家科技进步二等奖、国家级教学成果一等奖、何梁何利基金科学与技术进步奖、光华科技进步一等奖、俄罗斯齐奥尔科夫斯基奖章等荣誉 [4]