1月26日,北京航空航天大学发布讣告,沉痛悼念李未同志——
在北航从事计算机科研与教育工作的李未,是改革开放后国家选派的第一批出国留学人员,赴英国爱丁堡大学学习并获得了计算机科学博士学位,成为新中国成立以来大陆第一位在英国获得计算机科学博士学位的留学生。学成归国后,李未加入国家高技术研究发展计划(863计划)智能计算机系统主题专家组,担任第一届至第四届副组长,并成为了当时最年轻的国务院学位委员会委员。他在北航创建了软件开发环境国家重点实验室,担任实验室主任20余年。
李未始终致力于开拓计算机理论研究的“无人区”,在实用并发语言操作语义、形式理论序列与修正演算等方面取得了一系列原创成果,为我国计算机和人工智能领域的基础研究、关键技术自主创新以及人才培养做出了重要贡献。1997年,李未当选为中国科学院院士。
李未在我国率先倡导了开展海量信息计算的理论与方法研究,他曾任我国第一个IPV6互联网的专家组组长,并连续担任两个国家重点基础研究发展计划(973计划)海量信息项目的首席科学家。
李未在国际上率先提出了群体软件工程概念,定义了群体软件工程的基本要素,提出一系列重要的群体软件工程原理,初步建立了群体软件工程的理论基础。2016年,人工智能的突破性进展初现端倪,李未与一批信息领域的专家学者提出中国人工智能2.0的战略构想。他特别提出人工智能2.0最重要的新变化之一是互联网群体智能的出现,推动将群体智能列入2017年国务院发布的《新一代人工智能发展规划》。
2002年,李未接过北京航空航天大学校长的重任。他把自己的首要任务定为“和北航领导班子以及全校师生一起,把北航建成国际知名的高水平研究型大学”,提出“一流大学要做出历史性贡献”,要为国家战略需求服务。
2008年,北航划归工业和信息化部。李未敏锐地指出,学校要“培育空天信融合的新特色”,开启了北航向以空天信融合为特色的一流大学转变的道路。
面向国家需求建学科,创造能产生一流贡献的科研环境,把握好“项目、成果、人才、基地”之间相互促进、螺旋上升的关系……李未的系列办学理念,为学校开展基础性、前瞻性和战略高技术研究,在服务工业化、信息化和国防现代化方面做出重要贡献提供了科学指引。
他在任期间,北航有8个一级学科评上国家重点一级学科,并列全国高校第7名。学校科研项目和科技经费稳居全国高校前10名,人均科研经费位居全国高校前3名,从3个国家级重点实验室发展到6个国家级重点实验室、28个省部级实验室。2004年至2010年,学校共获得7项国家级科技奖励一等奖,交出了让国家和人民满意的“北航答卷”。
北航从立项论证开始,就深度融入我国大型飞机重大专项。2003年,李未受命担任大型飞机重大专项论证专家组组长。专家组历经8个月全面深入的调研,顺利完成立项论证工作。2006年,李未担任大型飞机重大专项实施方案论证委员会主任委员,他以深厚的学识和战略视野提出一批核心建议,为项目指明了关键方向。中国大飞机的腾飞之路上刻下了李未的奋斗身影,他也获得了国家中长期科学与技术发展规划“突出贡献奖”。
担任校长的7年时间里,李未基于对我国经济社会特点和高等教育规律的深刻洞察,确立了学校的办学特色、发展目标,在本科教育、研究生教育、科技创新、学科建设、校园规划、基本建设以及大学管理等方面都提出了系列改革举措,推进了各项改革实践。
作为教师,他指导博士生90余名、硕士生180余名,培养了一批计算机和人工智能领域的杰出人才。他还设立了“探索奖学金”,激励学生勇担科技报国重任,用无私奉献诠释着教育工作者的初心。
从科研创新到人才培养,从办学治校到服务国家,作为突破信息理论边界的科学家、擘画一流大学蓝图的教育家、领衔重大科技任务的战略家,李未以卓越的贡献与崇高的风范,深受广大师生的敬重和爱戴。他的学术精神、教育理念和报国情怀,如明灯照亮后辈前行之路,激励着更多人勇攀高峰、砥砺奋进,为高水平科技自立自强和教育强国建设贡献力量。