北京航空航天大学1月26日发布讣告，中国共产党党员、中国科学院院士李未同志因病医治无效，于1月25日23时10分北京逝世，享年82岁。这位杰出的科学家和教育家的离世，是我国科技教育界的重大损失。 李未同志1943年6月出生于北京，1961年至1966年在北京大学数学力学系学习，打下了坚实的理论基础。1968年起，他在北京航空学院（现北京航空航天大学）开始了长达数十年的教学和科研生涯。1979年至1983年——李未赴英国爱丁堡大学深造——获得计算机科学博士学位，这段国际学术交流经历使他开阔了视野，掌握了国际前沿的科研方法。1997年，他当选中国科学院院士，这是对其学术成就的最高认可。 在科学研究上，李未同志多个领域取得了开创性成果。他是国际上最早研究和发展并发程序语言结构操作语义模型的学者之一，在实用并发语言操作语义、形式理论序列和修正演算诸上的研究处于国际领先水平。国内，李未率先倡导开展海量信息计算的理论与方法研究，该前瞻性的学术方向对我国信息技术发展产生了深远影响。他在国际上首次提出群体软件工程概念，凝练的群体智能新研究方向被列入国家新一代人工智能发展战略规划，说明了他对未来科技发展方向的深刻洞察。 在行政管理和学科建设上，李未同志也做出了突出贡献。他创建了软件开发环境国家重点实验室并担任首届主任，为我国软件科学的发展奠定了重要基础。2002年1月至2009年5月，他担任北京航空航天大学校长，在任期间推动了学校在计算机科学和人工智能领域的学科发展，培养了大批优秀人才。此外，李未还曾任国务院学位委员会委员、国家高技术研究发展计划（863计划）专家组副组长、国家重点基础研究发展计划（973计划）首席科学家等重要职务，在国家科技决策中发挥了重要作用。 李未同志的学术成就得到了国家和国际社会的广泛认可。他获得了国家自然科学奖二等奖、国家科技进步奖二等奖、国家级教学成果一等奖、何梁何利基金科学与技术进步奖、光华科技进步一等奖等多项荣誉，还获得了俄罗斯齐奥尔科夫斯基奖章和首都劳动奖章，这些奖项充分体现了他在科学研究和教育事业中的卓越贡献。作为第十、十一届全国政协委员，李未还积极参与国家政治生活，为国家发展建言献策。 李未同志的学术思想和科研成果对我国计算机科学和人工智能领域的发展产生了深刻影响。他所倡导的群体智能、海量信息计算等研究方向，已成为当今科技发展的重要方向。他培养的学生和学术团队继续从事涉及的研究，将他的学术遗产发扬光大。
李未院士的离世是我国科技界的重大损失；他开创的研究方向仍在延续——培养的人才队伍仍在成长——这种学术传承是对这位杰出科学家最好的纪念。