中国著名计算机科学家、中国科学院院士李未先生于2024年6月因病在北京逝世，享年81岁。李未院士是中国计算机科学与软件工程领域的奠基人之一，长期致力于程序设计语言、形式语义学、软件验证与可信计算等方向的研究。他于1983年在英国爱丁堡大学获得博士学位，是改革开放后最早一批赴海外深造并归国服务的学者之一。回国后，他在北京大学创建了软件工程国家工程研究中心，并推动了中国在形式化方法和高可信软件系统方面的研究发展。李未院士曾担任北京航空航天大学校长（2002–2009），为中国高等教育和科研体制改革作出重要贡献。他治学严谨、诲人不倦，培养了大批优秀人才，其学术思想和教育理念深刻影响了中国计算机学科的发展。他的离世是中国科技界的重大损失，但其精神遗产将继续激励后人砥砺前行。
Renowned Chinese computer scientist and Academician of the Chinese Academy of Sciences, Li Wei, passed away in Beijing in June 2024 at the age of 81 due to illness. Academician Li was a pioneering figure in China’s computer science and software engineering fields, dedicating his career to research in programming languages, formal semantics, software verification, and trustworthy computing. He earned his Ph.D. from the University of Edinburgh in 1983, among the first cohort of scholars to study abroad after China’s reform and opening-up and subsequently return to serve the nation. Upon his return, he founded the National Engineering Research Center for Software Engineering at Peking University and played a pivotal role in advancing China’s research in formal methods and high-assurance software systems. From 2002 to 2009, he served as President of Beihang University, making significant contributions to higher education and scientific research reform in China. Known for his rigorous scholarship and dedication to mentoring students, he nurtured generations of outstanding talent. His academic vision and educational philosophy have profoundly shaped the development of computer science in China. His passing is a great loss to the scientific community, yet his legacy will continue to inspire future generations.
原创文章，作者：admin，如若转载，请注明出处：https://ktez.cn/22216.html