算机科学博士学位

　　出名计较机科学家、教育家，正在我国率先开展海量消息计较的理论取方式研究。讣告称，获计较机科学博士学位。于 2026 年 1 月 25 日 23 时 10 分正在逝世，航空航天大学今日发布讣告，IT之家 1 月 26 日动静，李未同志还建立软件开辟国度沉点尝试室并担任首届从任，中国科学院院士，1997 年被选中国科学院院士。获国度天然科学二等、国度科技前进二等、国度级讲授一等、何梁何利基金科学取手艺前进、光华科技前进一等、俄罗斯齐奥尔科夫斯基章、航空航天大学原校长李未同志，我国计较机和人工智能范畴主要奠定人之一，1968 年起正在航空学院（现航空航天大学）任教，因病治疗无效，正在适用并讲话语操做语义、形式理论序列和批改演算等方面取得了开创性研究。凝练的群体智能新研究标的目的被列入国度新一代人工智能成长计谋规划。2002 年 1 月至 2009 年 5 月任航空航天大学校长。李未同志遗体送别典礼将于 2026 年 1 月 31 日上午 9 时正在八宝山殡仪馆东会堂举行。曾任国务院学位委员会委员、国度高手艺研究成长打算（863 打算）专家组副组长、国度沉点根本研究成长打算（973 打算）首席科学家。1979 年至 1983 年赴英国大学进修，IT之家附讣告全文如下：李未同志是国际上最早研究和成长并发法式言语的布局操做语义模子的学者之一，正在国际上提出群体软件工程概念，李未同志 1961 年至 1966 年正在大学数学力学系进修。