图自北京航空航天大学微信公众号 李未同志讣告 中国共产党党员，中国科学院院士，著名计算机科学家、教育家，我国计算机和人工智能领域重要奠基 人之一，第十、十一届全国政协委员，北京航空航天大学原校长李未同志，因病医治无效，于2026年1 月25日23时10分在北京逝世，享年82岁。 李未同志1943年6月生于北京，1979年加入中国共产党。1961年至1966年在北京大学数学力学系学习。 1968年起在北京航空学院(现北京航空航天大学)任教。1979年至1983年赴英国爱丁堡大学学习，获计算 机科学博士学位。1997年当选中国科学院院士。2002年1月至2009年5月任北京航空航天大学校长。 李未同志是国际上最早研究和发展并发程序语言的结构操作语义模型的学者之一，在实用并发语言操作 语义、形式理论序列和修正演算等方面取得了开创性研究成果。在我国率先倡导开展海量信息计算的理 论与方法研究。在国际上提出群体软件工程概念，凝练的群体智能新研究方向被列入国家新一代人工智 能发展战略规划。创建软件开发环境国家重点实验室并担任首届主任。曾任国务院学位委员会委员、国 家高技术研究发展计划(863计划)专家组副组长、国家重点基础 ...