中国科学院院士、北京航空航天大学原校长李未同志逝世|中国工程院院士|中国科学院院士|北京航空航天大学|北航|李未|浙江大学|清华大学|院士名单

来源：高校人工智能与大数据创新联盟

北京航空航天大学26日发布讣告：

中国共产党党员，中国科学院院士，著名计算机科学家、教育家，我国计算机和人工智能领域重要奠基人之一，第十、十一届全国政协委员，北京航空航天大学原校长李未同志，因病医治无效，于2026年1月25日23时10分在北京逝世，享年82岁。

李未同志1943年6月生于北京，1979年加入中国共产党。1961年至1966年在北京大学数学力学系学习。1968年起在北京航空学院（现北京航空航天大学）任教。1979年至1983年赴英国爱丁堡大学学习，获计算机科学博士学位。1997年当选中国科学院院士。2002年1月至2009年5月任北京航空航天大学校长。

李未同志是国际上最早研究和发展并发程序语言的结构操作语义模型的学者之一，在实用并发语言操作语义、形式理论序列和修正演算等方面取得了开创性研究成果。在我国率先倡导开展海量信息计算的理论与方法研究。在国际上提出群体软件工程概念，凝练的群体智能新研究方向被列入国家新一代人工智能发展战略规划。创建软件开发环境国家重点实验室并担任首届主任。曾任国务院学位委员会委员、国家高技术研究发展计划（863计划）专家组副组长、国家重点基础研究发展计划（973计划）首席科学家。获国家自然科学二等奖、国家科技进步二等奖、国家级教学成果一等奖、何梁何利基金科学与技术进步奖、光华科技进步一等奖、俄罗斯齐奥尔科夫斯基奖章、首都劳动奖章等荣誉。

2002年，李未接过北京航空航天大学校长的重任。他把自己的首要任务定为“和北航领导班子以及全校师生一起，把北航建成国际知名的高水平研究型大学”，提出“一流大学要做出历史性贡献”，要为国家战略需求服务。2008年，北航划归工业和信息化部。李未在当年的暑期工作会上说：“学校有关信息科学与技术的学科，经过半个多世纪的发展，已经成为学校强势学科，实力进入全国高校第一方阵。它们与航空航天学科群一样，是学校服务工业与信息化融合的战略性资本。”他敏锐地指出，学校要“培育空天信融合的新特色”，开启了北航向以空天信融合为特色的一流大学转变的道路。

他在任期间，北航有8个一级学科评上国家重点一级学科，并列全国高校第7名。学校科研项目和科技经费稳居全国高校前10名，人均科研经费位居全国高校前3名，从3个国家级重点实验室发展到6个国家级重点实验室、28个省部级实验室。2004年-2010年，北航共获得7项国家级科技奖励一等奖。

2003年，李未受命担任大型飞机重大专项论证专家组组长。专家组历经8个月全面深入的调研，顺利完成立项论证工作。2006年，李未担任大型飞机重大专项实施方案论证委员会主任委员，他以深厚的学识和战略视野提出一批核心建议，为项目指明了关键方向。中国大飞机的腾飞之路上刻下了李未的奋斗身影，他也获得了国家中长期科学与技术发展规划“突出贡献奖”。

讣告指出，李未同志担任北京航空航天大学校长期间，以深远的战略眼光和卓越的领导能力，与领导班子一道，带领学校建成国内一流、世界知名高水平研究型大学，为北航中国特色、世界一流大学建设奠定坚实基础。他高度重视培育学校空天信融合新特色，推动学校从拓展办学规模向全面提高办学质量转变，从培养常规型科技人才向培养创新型专业人才转变。他强调本科是大学之本，大力推行“严进、重教、优出”的培养措施，显著提升人才培养质量。他强调“以学生为本、以教师为本”，坚持教授治学和扁平化管理，推动按一级学科建设学院，扩大院（系）办学自主权，极大激发基层组织活力。他强调一流大学要做出历史性贡献，紧扣国家战略需求，培养领军和领导人才，产出标志性科研成果。他先后受命担任国家中长期科技发展规划大型飞机重大专项论证专家组组长、大型飞机重大专项实施方案论证委员会主任委员，为国家大型飞机重大专项立项和实施做出突出贡献。

李未同志的一生，是忠诚于党、奋斗不息的一生，是躬身报国、服务人民的一生。作为科学家，他高瞻远瞩、求真创新，助力高水平科技自立自强。作为教育家，他治校有为、育才有方，深受师生敬重与爱戴。李未同志的逝世，是国际信息科学界和我国高等教育事业的重大损失！（来源：北京航空航天大学）

全国高校人工智能与大数据创新联盟

全国高校人工智能与大数据创新联盟（简称:高校联盟）是由清华大学、浙江大学、中南大学、东北大学、上海工程技术大学、重庆邮电大学、东北林业大学、佛山科学技术学院、曲阜师范大学、黑龙江大学、海豚大数据科技等全国54家高校、企业共同发起，于2018年5月26日在北京中国科技会堂正式成立。迄今为止，联盟发展会员300多家, 覆盖全国20多个省市。联盟由一批积极投身于“人工智能、大数据、区块链”教育事业的高校、科研机构、企事业单位和个人自愿组成的公益性、全国性学术交流服务平台。中国工程院原常务副院长、中国工程院院士潘云鹤、中国科学院院士陈国良、中国工程院院士李伯虎担任联盟名誉理事长，中国工程院院士谭建荣担任联盟理事长。联盟工作接受工信部、国家网信办等政府部门行政管理和业务指导。联盟主要工作是推进产教融合、校企合作、协同育人。(加盟微信13651193492)

华算人工智能研究院

华算人工智能研究院全称是“山西省华算人工智能研究院有限公司”，是经山西转型综合改革示范区管理委员会批准，于2023年10月在太原成立的第一批专业研究人工智能、赋能数字经济产业发展的独立法人组织。华算人工智能研究院依托全国高校人工智能与大数据创新联盟专家委员会及理事会资源，按照山西省委省政府、山西转型综合改革示范区管理委员会发展人工智能、数字经济的系列文件精神和工作计划，将研究院打造成为山西省发展人工智能、数字经济的示范应用推广平台，同时面向全国开展人工智能业务。华算人工智能研究院名誉院长由中国工程院院士李伯虎担任。研究院内设AI产业学院共建中心、实训实习就业中心、实验室建设中心、专家智库等6个职能部门。欢迎加入华算人工智能研究院专家智库，共同赋能高校AI人才培养及产教融合事业发展。

高校区块链专委会

全国高校人工智能与大数据创新联盟区块链专委会（简称:高校区块链专委会），是由北京大学、浙江大学、武汉大学、西南财经大学、北京交通大学、郑州大学、贵州大学、桂林电子科技大学、山西农业大学、佛山科学技术学院、陕西师范大学、中国网安、海豚大数据科技等全国40多家高校、企业和机构共同发起，于2019年12月7日在广东省佛山市正式成立。目前发展高校及企业会员70多家。中国工程院院士、浙江大学教授陈纯担任高校区块链专委会名誉顾问；福州大学教授蔡维德、中国计算机学会区块链专委会主任斯雪明教授、中国人民银行数字货币研究所副所长狄刚担任高校区块链专委会名誉主任；北京大学信息科学技术学院区块链中心主任陈钟教授担任高校区块链专委会主任。高校区块链专委会主要工作是促进高校区块链教育，为高校区块链专业建设及学科发展提供专家咨询服务。

高校元宇宙专委会

全国高校人工智能与大数据创新联盟元宇宙专业委员会（简称:高校元宇宙专委会），是由清华大学、湖南大学、浙江大学、四川大学、汕头大学、河北金融学院、保定市元宇宙协会、英伟达中国、海尔衣联网研究院、海豚大数据科技(天津)有限公司等全国20多所高校、企业和机构共同发起，于2022年11月5日在北京正式成立。中国工程院院士、计算机软件与虚拟现实领域专家赵沁平担任高校元宇宙专委会名誉顾问；中国工程院院士、北京航空航天大学电气与自动化学院名誉院长、中国航天科工集团有限公司科技委高级顾问李伯虎担任高校元宇宙专委会名誉主任；清华大学信息国研中心可信软件和大数据部常务副主任邢春晓担任高校元宇宙专委会主任委员。目前已发展高校及企业会员30多家。高校元宇宙专委会主要工作是促进高校元宇宙教育、加强校企合作、推动元宇宙专业建设及学科发展，为元宇宙教育教学提供专家咨询服务。

高校数字经济专委会

全国高校人工智能与大数据创新联盟数字经济专业委员会（简称:高校数字经济专委会），是由华算人工智能研究院、清华大学、北京大学、中国人民大学、中国社会科学院信息化研究中心、四川大学、北京外国语大学、北京科技大学、北京工业大学、北京语言大学、北京化工大学、北京联合大学、北京物资学院、北京印刷学院、西藏民族大学、河北金融学院、重庆财经学院、苏州城市学院、北京中关村软件园、百度、海豚大数据科技等全国60多家高校、企业和机构共同发起，于2024年1月12日在北京正式成立。清华大学经济管理学院教授姜旭平、北京大学信息管理系教授赖茂生、中国社会科学院信息化研究中心主任姜奇平、中国科学院大学经济与管理学院教授吕本富担任高校数字经济专委会主任委员。高校数字经济专委会主要工作是促进高校数字经济专业建设及学科发展，推动产学研合作，为高校数字经济专业教育教学提供专家咨询服务。

联盟“资料图书馆”