计算机科学泰斗李未院士逝世 我国人工智能与航空教育领域痛失领军者

李未同志的逝世,是我国科技教育界的重大损失。

作为新中国计算机科学领域的开拓者之一,他的学术生涯见证了我国从计算机科学空白到自主创新的发展历程。

李未于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余名,培养了一批计算机和人工智能领域的杰出人才。

他还设立了"探索奖学金",激励学生在科学研究中勇于探索,体现了他对人才培养的执着追求。

一位科学家的生命刻度,往往不止于论文和头衔,更体现在他为国家解决了哪些关键问题、为学科留下了怎样的研究范式、为青年铺就了怎样的成长道路。

李未的离去令人痛惜,但其在基础研究、平台建设、战略建言与人才培养上的长期投入,提示我们:越是面向不确定的未来,越需要对基础与人才保持耐心、定力与持续投入,以更坚实的创新底座支撑高水平科技自立自强。