我国计算机科学泰斗李未院士逝世 享年82岁 曾开创群体智能研究新方向

一、问题:一位科学家、教育家离去,折射科技与人才传承的时代命题 李未同志的逝世,是我国计算机科学界和高等教育界的重大损失;作为长期教学科研一线工作的科技工作者,他既推动了我国计算机学科建设,也在面向国家战略需求的前沿探索中走在前列。如何在追思中延续其学术追求与育人理念、在传承中培养更多拔尖创新人才,是科技强国建设需要回答的现实课题。 二、原因:个人学术追求与国家发展需求同频共振 公开信息显示,李未1943年6月生于北京,1961年至1966年在北京大学数学力学系学习,奠定了扎实的数理基础。1968年起在北京航空学院任教,1979年加入中国共产党。改革开放初期,他赴英国爱丁堡大学深造并获计算机科学博士学位。吸收国际前沿成果的同时,他始终将研究重点放在服务国家需求与学科长远发展之上。 在学术研究上,李未是国际上较早开展并发程序语言结构操作语义模型研究的学者之一,实用并发语言操作语义、形式理论序列和修正演算等方向取得开创性成果。面对信息化浪潮,他在国内率先倡导海量信息计算的理论与方法研究,推动有关领域从“跟跑”向“并跑”“领跑”迈进。围绕软件工程的组织形态与复杂系统协同问题,他在国际上提出群体软件工程概念,并凝练形成群体智能研究方向,相关成果被纳入国家新一代人工智能发展战略规划,表明了从基础研究到国家战略的贯通。 在平台建设与组织协同上,他创建软件开发环境国家重点实验室并担任首届主任,夯实了科研攻关与人才培养的支撑体系;曾任国务院学位委员会委员、国家高技术研究发展计划(863计划)专家组副组长、国家重点基础研究发展计划(973计划)首席科学家等,在国家科技治理与重大项目布局中发挥重要作用。 三、影响:学科发展、人才培养与科技治理的多维贡献持续显现 其影响首先体现在学科前沿的“开拓”作用。并发语言与形式语义研究,为软件系统可靠性与可验证性等关键问题提供了方法支撑,在高可信软件、复杂系统建模与验证等领域具有基础意义。对海量信息计算理论的倡导,契合大数据时代对计算范式与方法体系升级的需求,为数据密集型科学研究与工程应用提供了重要认识框架。 其次体现在高等教育治理与人才培养的“夯基”作用。李未于2002年1月至2009年5月担任北京航空航天大学校长,推动学校在学科布局、科研组织、人才队伍与国际合作等形成更强合力。作为教育家,他坚持科研育人、以问题牵引学生成长的理念,为我国计算机领域培养并凝聚了一批骨干力量。 再次体现在国家科技创新体系建设的“智库”作用。他在国家重大科技计划中工作经历,体现了将学术判断转化为科研布局、将科研成果转化为制度供给的能力。在基础研究与应用牵引、学科交叉与工程落地之间,形成了具有借鉴意义的实践路径。 四、对策:以系统思维推进基础研究、平台建设与人才梯队 面向新一轮科技革命与产业变革,我国计算机领域亟需在继承前辈科学家精神的基础上,继续完善创新生态。 一是强化原始创新与基础理论研究的持续投入。并发计算、形式化方法、群体智能等方向周期长、不确定性高,更需要稳定支持与耐心投入,鼓励围绕重大科学问题开展长期攻关。 二是提升国家级科研平台的开放共享水平。依托重点实验室等平台,推动跨学科、跨机构协同,打通从基础研究到工程应用的创新链条,促进成果转化与标准体系建设。 三是完善人才培养与评价机制。坚持立德树人,优化学科交叉培养模式,支持青年人才在关键方向尽早承担重要任务;评价体系更注重原创贡献、长期积累和实际影响,营造鼓励探索、允许试错的环境。 四是加强科技治理与战略研究能力建设。围绕国家重大需求,提升科技计划组织、项目管理与成果评估的科学化水平,推动科研资源向关键领域和薄弱环节合理集聚。 五、前景:在新的技术周期中延续“面向国家、追求卓越”的精神坐标 当前,计算机科学正加速与航空航天、制造、生物医药、能源等领域深度融合,关键技术竞争日益体现为基础理论与系统工程能力的综合较量。李未同志所体现的治学品格与实践路径——扎根基础、面向应用、兼顾国际视野与国家需要——对我国加快建设世界重要人才中心和创新高地具有现实启示。可以预期,随着我国科技创新体系持续完善,更多跨学科、可验证、可工程化的理论与方法将不断涌现,推动数字时代国家竞争力稳步提升。

李未同志的逝世是我国科学技术界的重大损失;他以深厚的学术造诣和敏锐的科学判断,为我国计算机科学与人工智能领域发展作出开创性贡献。他所倡导的群体智能、海量信息计算等研究方向,已成为当代科技发展的重要方向之一。在教育管理实践中,他坚持学以致用、注重理论与实践结合,培养了大批科技人才。李未同志的学术精神与科学品格,将继续激励后来者在科技创新道路上持续探索,为国家科技进步和民族复兴贡献力量。