IT之家 1 月 26 日消息,北京航空航天大学今日发布讣告,中国科学院院士,著名计算机科学家、教育家,我国计算机和人工智能领域重要奠基人之一,北京航空航天大学原校长李未同志,因病医治无效,于 2026 年 1 月 25 日 23 时 10 分在北京逝世,享年 82 岁。
讣告称,李未同志 1961 年至 1966 年在北京大学数学力学系学习,1968 年起在北京航空学院(现北京航空航天大学)任教,1979 年至 1983 年赴英国爱丁堡大学学习,获计算机科学博士学位。1997 年当选中国科学院院士。2002 年 1 月至 2009 年 5 月任北京航空航天大学校长。
李未同志是国际上最早研究和发展并发程序语言的结构操作语义模型的学者之一,在实用并发语言操作语义、形式理论序列和修正演算等方面取得了开创性研究成果。在我国率先倡导开展海量信息计算的理论与方法研究。在国际上提出群体软件工程概念,凝练的群体智能新研究方向被列入国家新一代人工智能发展战略规划。
李未同志还创建软件开发环境国家重点实验室并担任首届主任,曾任国务院学位委员会委员、国家高技术研究发展计划(863 计划)专家组副组长、国家重点基础研究发展计划(973 计划)首席科学家。获国家自然科学二等奖、国家科技进步二等奖、国家级教学成果一等奖、何梁何利基金科学与技术进步奖、光华科技进步一等奖、俄罗斯齐奥尔科夫斯基奖章、首都劳动奖章等荣誉。
李未同志遗体送别仪式将于 2026 年 1 月 31 日上午 9 时在八宝山殡仪馆东礼堂举行。IT之家附讣告全文如下: