【痛别！#中国科学院院士李未逝世#】中国科学院院士，著名计算机科学家、教育家，我国计算机和人工智能领域重要奠基人之一，北京航空航天大学原校长李未同志，因病医治无效，于1月25日在北京逝世，享年82岁。李未同志是国际上最早研究和发展并发程序语言的结构操作语义模型的学者之一，在实用并发语言操作语义、形式理论序列和修正演算等方面取得了开创性研究成果。（人民网记者李依环）http://t.cn/AXqtncSz