北京航空航天大学1月26日发布讣告，我国杰出的计算机科学家、教育家李未同志因病医治无效，于1月25日23时10分在北京逝世，享年82岁。
这是我国计算机和人工智能领域失去的一位重要学者和领导者。
李未同志1943年6月出生于北京，是新中国培养的一代科学家的杰出代表。
他于1961年至1966年在北京大学数学力学系接受高等教育，为其后来的学术生涯奠定了坚实的数学基础。
1968年起，李未同志在北京航空学院（现北京航空航天大学）开始了长达数十年的教学和科研工作。
1979年加入中国共产党后，他于同年赴英国爱丁堡大学深造，于1983年获得计算机科学博士学位，这段国际学术交流经历使他开阔了学术视野，掌握了国际前沿的研究方法。
在科学研究方面，李未同志是国际上最早研究和发展并发程序语言结构操作语义模型的学者之一。
他在实用并发语言操作语义、形式理论序列和修正演算等领域取得了开创性的研究成果，为现代计算机科学的理论基础做出了重要贡献。
进入新世纪后，李未同志敏锐地把握学科发展方向，在国内率先倡导开展海量信息计算的理论与方法研究，这一前瞻性的学术选择为我国信息技术的发展提供了重要的理论支撑。
李未同志在群体智能领域的研究更是具有战略意义。
他在国际上首次提出群体软件工程的概念，凝练出的群体智能新研究方向被列入国家新一代人工智能发展战略规划，成为国家重点发展的战略方向。
他创建了软件开发环境国家重点实验室，并担任首届主任，为我国软件科学的发展建立了重要的研究平台。
在行政管理和学术组织方面，李未同志担任过北京航空航天大学校长（2002年1月至2009年5月），在任期间推动了学校的学科建设和人才培养。
他还曾任国务院学位委员会委员、国家高技术研究发展计划（863计划）专家组副组长、国家重点基础研究发展计划（973计划）首席科学家等重要职务，为国家科技发展战略的制定和实施做出了重要贡献。
作为第十、十一届全国政协委员，李未同志积极参与国家政治生活，建言献策。
李未同志的学术成就得到了国家和国际社会的广泛认可。
1997年，他当选中国科学院院士，这是对其学术地位的最高确认。
他先后获得国家自然科学二等奖、国家科技进步二等奖、国家级教学成果一等奖、何梁何利基金科学与技术进步奖、光华科技进步一等奖等多项荣誉。
国际上，他还获得了俄罗斯齐奥尔科夫斯基奖章等殊荣，充分体现了他在国际学术界的影响力。
此外，他还获得了首都劳动奖章，这反映了他对首都建设的贡献。
李未同志的一生，折射出我国科技工作者把个人追求融入国家事业的共同底色：以严谨治学推动学科前行，以立德树人培育后继力量，以面向需求的创新回应时代挑战。
对后来者而言，最好的告慰不仅在于缅怀，更在于接续奋斗，在长期主义与踏实攻关中把创新链条一环环做实，让基础研究的火种在一代又一代人的坚守与突破中持续燃亮。