李未

　　李未(1943年6月8日-2026年1月25日)，男，出生于北京市，计算机专家，中国科学院院士，北京航空航天大学计算机学院教授，博士生导师、第十、十一届全国政协委员。主要从事并发程序语言的结构操作语义方法、翻译理论和实现技术研究。

　　李未于1961年考入北京大学数学力学系，先后获得学士、硕士学位。1968年至1979年先后担任北京航空学院基础部、计算中心教师。1983年获得英国爱丁堡大学计算机系博士学位，之后回国担任北京航空学院计算机系讲师。1986年担任北京航空航天大学计算机学院教授、博士研究生导师。1991年，李未提出了用版本序列的收敛性描述软件开发过程和知识库维护策略的理论和方法，开辟了用近似和逼近方法研究软件开发和知识库维护的方向。1997年当选为中国科学院院士。2002年至2009年担任北京航空航天大学校长、党委副书记。。2026年1月25日23时10分，李未同志因病医治无效在北京逝世，享年82岁。

　　李未是国际上最早研究和发展并发程序语言的结构操作语义模型的学者之一，在实用并发语言操作语义、形式理论序列和修正演算等方面取得了开创性研究成果。在中国率先倡导开展海量信息计算的理论与方法研究。在国际上提出群体软件工程概念，凝练的群体智能新研究方向被列入国家新一代人工智能发展战略规划。获国家自然科学二等奖、国家科技进步二等奖、国家级教学成果一等奖、何梁何利基金科学与技术进步奖、光华科技进步一等奖、俄罗斯齐奥尔科夫斯基奖章、首都劳动奖章等荣誉。