2026-01-26 23:02:19
感谢亚汇网网友麻辣味松果、讣告称，李未同志1961年至1966年在北京大学数学力学系学习，1968年起在北京航空学院（现北京航空航天大学）任教，1979年至1983年赴英国爱丁堡大学学习，获计算机科学博士学位。1997年当选中国科学院院士。2002年1月至2009年5月任北京航空航天大学校长。李未同志是国际上最早研究和发展并发程序语言的结构操作语义模型的学者之一，在实用并发语言操作语义、形式理论序列和修正演算等方面取得了开创性研究成果。在我国率先倡导开展海量信息计算的理论与方法研究。在国际上提出群体软件工程概念，凝练的群体智能新研究方向被列入国家新一代人工智能发展战略规划。李未同志还创建软件开发环境国家重点实验室并担任首届主任，曾任国务院学位委员会委员、国家高技术研究发展计划（863计划）专家组副组长、国家重点基础研究发展计划（973计划）首席科学家。获国家自然科学二等奖、国家科技进步二等奖、国家级教学成果一等奖、何梁何利基金科学与技术进步奖、光华科技进步一等奖、俄罗斯齐奥尔科夫斯基奖章、首都劳动奖章等荣誉。李未同志遗体送别仪式将于2026年1月31日上午9时在八宝山殡仪馆东礼堂举行。亚汇网附讣告全文如下：广告声明：文内含有的对外跳转链接（包括不限于超链接、二维码、口令等形式），用于传递更多信息，节省甄选时间，结果仅供参考，亚汇网所有文章均包含本声明。
您正在访问亚汇网香港分站，本站所提供的内容均遵守中华人民共和国香港特别行政区法律法规。
