我国著名计算机科学家、中国科学院院士、北京航空航天大学教授李未同志，因病于[请在此处填写具体逝世日期，2023年X月X日]在北京逝世，享年[请在此处填写享年岁数，82]岁，李未院士的逝世，是我国计算机科学界的重大损失，他的学术成就和崇高精神将永远为后人铭记和缅怀。

亚星游戏入口 李未院士是我国计算机科学与技术领域的开拓者和奠基人之一,在计算机理论、逻辑推理、软件形式化方法及分布式计算等领域做出了开创性的贡献，他治学严谨，求真务实，始终站在学科前沿，以深邃的学术洞察力和不懈的创新精神，推动着我国计算机科学事业的发展，他在逻辑程序设计、时态逻辑、软件可靠性验证等方面的研究成果不仅具有重要的理论价值，更在工程实践中得到了广泛应用，为提升我国计算机技术的核心竞争力奠定了坚实基础。

作为一位杰出的教育家,李未院士桃李满天下，培养了一大批优秀的计算机科学人才，其中许多人已成为我国科研院所和高等学校的学科带头人和中坚力量，他言传身教，甘为人梯，将毕生精力投入到人才培养和科学研究中，为我国计算机科学事业的持续发展注入了强劲动力，他曾任北京航空航天大学校长，以卓越的领导力和远见卓识，为学校的学科建设、人才培养和科研创新作出了重要贡献。

李未院士的一生,是为科学事业不懈奋斗的一生，是为国家发展无私奉献的一生，他淡泊名利，潜心学术，以高尚的人格魅力和严谨的治学风范，赢得了国内外学术界的广泛尊敬和爱戴，他的逝世，让我们失去了一位良师益友，一位学术巨擘。

欧博 我们深切缅怀李未院士！我们要化悲痛为力量，学习他热爱祖国、服务人民的崇高精神，学习他追求真理、勇攀高峰的科学态度，学习他诲人不倦、甘于奉献的崇高品德，为我国科技强国建设贡献智慧和力量。

愿李未院士安息！