著名计算机科学家李未院士逝世
2023年10月24日,中国计算机科学界深切缅怀著名计算机科学家、中国科学院院士李未先生，李未先生因病医治无效，在北京逝世，享年70岁，这一消息令全行业深感震撼，李未院士的离世是中国计算机科学界的巨大损失。
李未院士是中国计算机科学领域的标志性人物,他在程序设计语言、形式语义学、并发计算等多个前沿领域取得了突破性成果，他的研究不仅深刻影响了国内计算机科学的发展，也在国际上赢得了盛誉，李未院士曾担任中国科学院计算技术研究所所长，并多次荣获国家级和省部级科技奖项，他在学术组织中的领导职务和对推动我国计算机技术发展的贡献，展现了他卓越的领导力和远见卓识。
李未院士的科研成果与人才培养并重,他在清华大学电子工程系毕业后，立即投身于计算机科学与技术的教学和研究工作，为中国计算机教育事业的发展作出了重要贡献，他培养了大批优秀学生和科研人员，推动了中国计算机专业人才的培养工作，他的学术论文和科研成果在国内外都享有极高的声誉，主持的国家重点科研项目也为中国计算机技术的发展奠定了坚实基础。
李未院士的去世令人痛惜,但他的宝贵遗产和深远影响将激励着一代又一代的科学工作者继续前行，我们期待有更多的年轻学者继承他的遗志，为我国计算机科学的发展做出更大的贡献，李未院士的精神将永远激励着我们，为实现中华民族的伟大复兴而努力奋斗。
愿李未院士安息！
