李未同志的逝世，是我国科技教育界的重大损失。作为新中国计算机科学领域的开拓者之一，他的学术生涯见证了我国从计算机科学空白到自主创新的发展历程。 李未于1980年赴英国爱丁堡大学深造，获得计算机科学博士学位，成为新中国成立以来大陆第一位英国获得该学位的留学生。该身份标志着中国在计算机科学研究上的国际化起步。学成归国后，他立即投身于国家高技术研究发展计划，担任863计划智能计算机系统主题专家组副组长，并成为当时最年轻的国务院学位委员会委员，充分反映了他在学术界的地位和影响力。 在基础理论研究上，李未始终致力于开拓计算机理论研究的前沿领域。他在实用并发语言操作语义、形式理论序列与修正演算等方向取得了多项原创成果，为我国计算机基础理论研究奠定了重要基础。1997年，他当选为中国科学院院士，这是对其学术成就的最高认可。 李未在创建和管理软件开发环境国家重点实验室期间，担任实验室主任20余年，为我国软件产业的发展提供了重要的科研支撑。他在我国率先倡导开展海量信息计算的理论与方法研究，担任第一个IPv6互联网专家组组长，并连续担任两个国家重点基础研究发展计划973计划海量信息项目的首席科学家，推动了我国互联网技术的自主创新。 在人工智能领域，李未做出了战略性的贡献。他在国际上率先提出群体软件工程概念，定义了其基本要素，提出了一系列重要原理，初步建立了理论基础。2016年，面对人工智能发展的新机遇，李未与一批信息领域专家学者提出了中国人工智能2.0的战略构想，特别强调互联网群体智能的重要性，推动将群体智能列入2017年国务院发布的《新一代人工智能发展规划》，为国家人工智能战略的制定提供了重要参考。 作为教育家，李未于2002年担任北京航空航天大学校长，任期7年。他提出"一流大学要做出历史性贡献"的办学理念，确立了学校的发展目标和特色定位。2008年北航划归工业和信息化部后，他敏锐地指出学校要"培育空天信融合的新特色"，开启了学校向以空天信融合为特色的一流大学转变的道路。 在李未的领导下，北航的学科建设效果显著。学校有8个一级学科评上国家重点一级学科，并列全国高校第7名。科研项目和科技经费稳居全国高校前10名，人均科研经费位居全国高校前3名。国家级重点实验室从3个发展到6个，省部级实验室达到28个。2004年至2010年间，学校共获得7项国家级科技奖励一等奖，为国家和人民交出了满意的"北航答卷"。 在国家大型飞机重大专项中，李未发挥了重要作用。2003年，他受命担任大型飞机重大专项论证专家组组长，率领专家组历经8个月全面深入的调研，顺利完成立项论证工作。2006年，他担任大型飞机重大专项实施方案论证委员会主任委员，以深厚的学识和战略视野提出了一批核心建议，为项目指明了关键方向。他因此获得了国家中长期科学与技术发展规划"突出贡献奖"。 作为教师，李未指导博士生90余名、硕士生180余名，培养了一批计算机和人工智能领域的杰出人才。他还设立了"探索奖学金"，激励学生在科学研究中勇于探索，体现了他对人才培养的执着追求。
从计算机理论拓荒者到教育改革实践家，李未院士用毕生奋斗诠释了科学家与教育家的双重使命。他主导的科研方向仍在深刻影响人工智能发展，其倡导的"面向国家需求做学问"理念成为当代科教工作者的精神坐标。这位战略科学家的离去，留给我们的不仅是学术遗产，更是一盏指引自主创新之路的明灯。