我国计算机科学界痛失一位重要学者。1月25日晚，北京航空航天大学发布讣告，宣布中国科学院院士李未同志因病逝世，享年82岁。李未院士长期致力于推动我国计算机科学发展，其学术思想与科研成果对对应的领域的研究布局和人才培养产生了深远影响。 李未院士早年就读于北京大学数学力学系，后赴英国爱丁堡大学深造并获得计算机科学博士学位。作为国际计算机科学界颇具影响力的学者之一，他较早开展并发程序语言结构操作语义模型研究，并在形式理论序列、修正演算等方向取得重要进展。这些基础性成果为后续信息技术研究提供了坚实支撑。 20世纪90年代，李未院士敏锐把握信息化趋势，在国内率先倡导海量信息计算研究。他提出的“群体软件工程”概念，将个体智能与群体协作相结合，相关思想后来被凝练为国家新一代人工智能发展战略的重要内容。作为学科带头人，他创建软件开发环境国家重点实验室，为我国培养了一批计算机科学人才。 在国家重大科研项目中，李未院士曾任863计划专家组副组长、973计划首席科学家等职务，参与国家高技术发展战略的研究与制定。他主持的项目先后获得国家自然科学二等奖、国家科技进步二等奖等多项奖励，并获俄罗斯齐奥尔科夫斯基奖章等国际奖项。 在担任北京航空航天大学校长期间，李未院士推动学校计算机学科建设取得明显提升，促进北航成为我国计算机科学研究与人才培养的重要力量。他倡导的产学研结合模式，也在科技成果转化实践中发挥了积极作用。 当前，我国正处于建设科技强国的关键阶段，计算机科学与人工智能在国家发展全局中的战略意义不断提升。李未院士的逝世是我国科技界的损失，但他留下的学术成果与精神传统将继续影响后来者。他关于群体智能等方向的前瞻性思考，仍将为我国人工智能发展提供重要启示。
一位科学家离去——留下的不只是论文与奖项——更有面向未来的学科路径与精神坐标；面向建设科技强国的时代任务，继承老一辈科学家“扎根基础、面向需求、甘为人梯”的学术品格，把关键基础研究做深做实，把人才培养和平台建设抓常抓长，才能在不断演进的计算与智能浪潮中夯实根基、赢得主动。