讣告核心信息 - 北京航空航天大学原校长、中国科学院院士李未同志于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]

文章核心观点 - 文章是一篇悼念讣告与生平回顾 核心在于总结李未同志作为科学家、教育家和战略家 在计算机与人工智能领域的奠基性贡献 在北航的治校成就 以及对国家重大科技项目的突出领导作用 [1][3][4][14] 个人生平与荣誉 - 李未同志于2026年1月25日在北京逝世 享年82岁 [3][4] - 他是中国科学院院士 著名计算机科学家和教育家 我国计算机和人工智能领域重要奠基人之一 [3][4] - 1968年起在北京航空学院任教 1979年至1983年赴英国爱丁堡大学学习 获计算机科学博士学位 是新中国成立以来大陆第一位在英国获得计算机科学博士学位的留学生 [4][10] - 1997年当选中科院院士 2002年1月至2009年5月任北京航空航天大学校长 [4] - 曾获国家自然科学二等奖、国家科技进步二等奖、国家级教学成果一等奖、何梁何利基金科学与技术进步奖等荣誉 [5] 学术与科研贡献 - 是国际上最早研究和发展并发程序语言的结构操作语义模型的学者之一 在实用并发语言操作语义、形式理论序列和修正演算等方面取得了开创性研究成果 [4][10] - 在我国率先倡导开展海量信息计算的理论与方法研究 曾任我国第一个IPV6互联网的专家组组长 并连续担任两个国家重点基础研究发展计划海量信息项目的首席科学家 [4][10] - 在国际上提出群体软件工程概念 凝练的群体智能新研究方向被列入国家新一代人工智能发展战略规划 [4][11] - 创建软件开发环境国家重点实验室并担任首届主任 担任实验室主任20余年 [4][10] - 曾任国家高技术研究发展计划智能计算机系统主题专家组第一届至第四届副组长 [10] 教育理念与治校成就 - 担任北航校长期间 提出要把北航建成国际知名的高水平研究型大学 强调一流大学要做出历史性贡献 [11] - 高度重视培育学校空天信融合新特色 推动学校从拓展办学规模向全面提高办学质量转变 从培养常规型科技人才向培养创新型专业人才转变 [5][12] - 强调本科是大学之本 大力推行“严进、重教、优出”的培养措施 显著提升人才培养质量 [5] - 强调“以学生为本、以教师为本” 坚持教授治学和扁平化管理 推动按一级学科建设学院 扩大院系办学自主权 [5] - 在其任期内 北航有8个一级学科评上国家重点一级学科 并列全国高校第7名 [12] - 学校科研项目和科技经费稳居全国高校前10名 人均科研经费位居全国高校前3名 [12] - 国家级重点实验室从3个发展到6个 另有28个省部级实验室 [12] - 2004年至2010年 学校共获得7项国家级科技奖励一等奖 [12] - 作为教师 指导博士生90余名、硕士生180余名 培养了一批计算机和人工智能领域的杰出人才 [13] 服务国家战略 - 先后受命担任国家中长期科技发展规划大型飞机重大专项论证专家组组长、大型飞机重大专项实施方案论证委员会主任委员 为国家大型飞机重大专项立项和实施做出突出贡献 [6][13] - 2003年担任大型飞机重大专项论证专家组组长 专家组历经8个月完成立项论证工作 [13] - 2006年担任大型飞机重大专项实施方案论证委员会主任委员 提出一批核心建议 为项目指明关键方向 [13] - 获得了国家中长期科学与技术发展规划“突出贡献奖” [13] - 2016年 与一批信息领域专家学者提出中国人工智能2.0的战略构想 推动将群体智能列入2017年国务院发布的《新一代人工智能发展规划》 [11]

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

李未同志生平与成就 - 中国共产党党员、中国科学院院士、著名计算机科学家与教育家李未同志于2026年1月25日在北京逝世，享年82岁 [2] - 李未同志是新中国成立以来大陆第一位在英国获得计算机科学博士学位的留学生，于1979年至1983年在英国爱丁堡大学学习并获得博士学位 [2][6] 学术研究与科学贡献 - 李未同志是国际上最早研究并发程序语言结构操作语义模型的学者之一，在实用并发语言操作语义、形式理论序列和修正演算等方面取得开创性成果 [3][8] - 他系统地解决了实用并行程序设计语言的语义问题，在并行程序语言翻译方面做出创始性贡献，并建立了错误修正的形式演算系统（R-演算） [8] - 他在我国率先倡导开展海量信息计算的理论与方法研究，曾任我国第一个IPV6互联网的专家组组长，并连续担任两个973计划海量信息项目的首席科学家 [10] - 他提出了信息物理学的思想和非结构数据的四面体模型，解决了异构多模态信息的统一描述难题 [10] - 他在国际上率先提出群体软件工程概念，其凝练的群体智能新研究方向被列入国家新一代人工智能发展战略规划 [3][10] - 2016年，他与一批专家提出中国人工智能2.0的战略构想，并推动将群体智能列入2017年国务院发布的《新一代人工智能发展规划》 [10] - 他创建了软件开发环境国家重点实验室并担任首届主任，担任实验室主任20余年 [3][6] - 他曾任国家高技术研究发展计划（863计划）智能计算机系统主题专家组第一至第四届副组长，并成为当时最年轻的国务院学位委员会委员 [6] - 他曾任国家重点基础研究发展计划（973计划）首席科学家 [3] - 他获得国家自然科学二等奖、国家科技进步二等奖、国家级教学成果一等奖、何梁何利基金科学与技术进步奖、光华科技进步一等奖、俄罗斯齐奥尔科夫斯基奖章等荣誉 [3][10] 教育领导与北京航空航天大学发展 - 李未同志于2002年1月至2009年5月担任北京航空航天大学校长 [2] - 他提出“一流大学要做出历史性贡献”，带领学校建成国内一流、世界知名高水平研究型大学，为北航中国特色、世界一流大学建设奠定坚实基础 [4][12] - 他高度重视培育学校“空天信融合”新特色，推动学校从拓展办学规模向全面提高办学质量转变，从培养常规型科技人才向培养创新型专业人才转变 [4][12] - 他提出“本科是大学之本”，大力推行“严进、重教、优出”的培养措施，显著提升人才培养质量 [4][17] - 他强调“以学生为本、以教师为本”，坚持教授治学和扁平化管理，推动按一级学科建设学院，扩大院系办学自主权，极大激发基层组织活力 [4][19] - 在他任期内，北航有8个一级学科评上国家重点一级学科，并列全国高校第7名 [14] - 学校科研项目和科技经费稳居全国高校前10名，人均科研经费位居全国高校前3名 [14] - 国家级重点实验室从3个发展到6个，另有28个省部级实验室 [14] - 2004年至2010年，学校共获得7项国家级科技奖励一等奖 [14] 人才培养与教育改革 - 李未同志为本科教学制定“强化基础、突出实践、重在素质、面向创新”的指导方针，着力打造六门核心基础课，使用高质量教材、聘请名师讲课 [17] - 在他的领导下，北航本科毕业生深造比例从2002年的28%上升到2011年的62% [17] - 研究生教育方面，他提出“拓宽基础、瞄准前沿、共建团队、自主创新”的工作方针，相关工作获2005年国家级教学成果一等奖 [17] - 学校相继成立了高等工程学院、中法工程师学院、华罗庚数学班等人才培养示范区 [19] - 他指导了90余名博士生和180余名硕士生，培养了一批计算机和人工智能领域的杰出人才 [21] - 卸任校长后，他于2012年起积极推广慕课，2014年发起组建中国高校计算机教育MOOC联盟，吸引了百余所高校加盟 [21] 国家战略服务与重大项目贡献 - 李未同志紧扣国家战略需求，先后受命担任国家中长期科技发展规划大型飞机重大专项论证专家组组长、大型飞机重大专项实施方案论证委员会主任委员 [4][16] - 2003年，他担任大型飞机重大专项论证专家组组长，专家组历经8个月完成立项论证工作 [16] - 2006年，他担任大型飞机重大专项实施方案论证委员会主任委员，提出一批核心建议，为项目指明关键方向 [16] - 他获得了国家中长期科学与技术发展规划“突出贡献奖” [16]