大家好，我有个坏消息跟你们说，我国的计算机界和教育界都挺难过的，因为北京航空航天大学的前校长、中国科学院院士李未先生，他最近因为生病去世了。他活了82岁呢。李院士是咱们国家改革开放后科技进步和高等教育发展的重要推动者。他在2002年到2009年担任北航校长期间，把学校打造得特别好。他还提出了“空天信融合”的发展目标，让学校成为了“空天信融合特色的高水平研究型大学”。他推动了学科体系的重构，给学校带来了很多国家级重点学科和科研平台，还培养了好多人才。 李院士还是个战略家呢。他在上世纪80年代就被公派去英国留学，拿到了计算机科学博士学位。回国后就一直为国家搞科研，参与了很多重要项目。比如说在2003年，他负责国家大型飞机专项的论证工作，组织了8个月的系统性调研，给出了很多关键建议。还有在2016年前后，他又提出了“人工智能2.0”的战略构想，这个想法还被写进了国家新一代人工智能发展规划里。 李院士不仅在学术上很厉害，在治理学校方面也很有一套。他在北航担任校长的时候，强化了基础研究和战略高技术攻关的协同关系，构建了创新生态。他还给学校带来了很多重大科技成果和科研经费呢。而且他还是个爱思考、有远见的人，总是能在行业发展趋势方面看得很准。 李院士的一生就是一部奋斗史啊！他把自己的时间都奉献给了祖国的科技事业和教育事业。他把计算机理论研究奠定得稳稳当当的，在计算机语义学和形式化方法这些前沿领域也取得了很多成果。他还为我国自主创新打下了重要基础。虽然他去世了，但是他的精神会一直激励着我们去建设科技强国呢！