李未
中国科学院院士、计算机科学家
条目
李未（1943年6月8日-2026年1月25日），男，出生于北京市，中国科学院院士，计算机科学家、教育家，中国计算机和人工智能领域重要奠基人之一，第十、十一届全国政协委员，北京航空航天大学原校长。[1][2]
1961年至1966年，李未在北京大学数学力学系学习。[1]1968年起，李未在北京航空学院[a]任教。[3]1979年至1983年，李未赴英国爱丁堡大学学习，获计算机科学博士学位。1997年，李未当选中国科学院院士。2002年1月至2009年5月，李未任北京航空航天大学校长。[1]2026年1月25日23时10分，李未同志因病医治无效在北京逝世，享年82岁。[3]
李未同志是国际上最早研究和发展并发程序语言的结构操作语义模型的学者之一，在实用并发语言操作语义、形式理论序列和修正演算等方面取得了开创性研究成果。他在中国率先倡导开展海量信息计算的理论与方法研究。李未同志曾任国务院学位委员会委员、国家高技术研究发展计划（863计划）专家组副组长、国家重点基础研究发展计划（973计划）首席科学家。李未曾获国家自然科学二等奖、国家科技进步二等奖、国家级教学成果一等奖、何梁何利基金科学与技术进步奖、光华科技进步一等奖、俄罗斯齐奥尔科夫斯基奖章、首都劳动奖章等荣誉。[1]