李未

       李未，男，1943年出生，北京市人。1997年当选中国科学院院士。北京航空航天大学教授、原校长（副部长级）。现任中国科学院信息技术科学部主任，国家教育咨询委员会委员，软件开发环境国家重点实验室主任，中国电子学会副理事长，曾任第十、十一届全国政协委员，第二至六届国务院学位委员会委员，国务院参事室特约研究员，教育部计算机教学指导委员会主任，英国科学与工程委员会高级访问研究员，不莱梅大学教授级研究员，萨尔布吕肯大学“祖思”（Zuse）讲座教授等。
      1966年毕业于北京大学数学力学系，1983年获爱丁堡大学计算机科学博士学位。1986年至今担任北京航空航天大学计算机学院教授、博士生导师，并于2002年至2009年期间担任北京航空航天大学校长。
      在并发程序设计理论、数理逻辑和海量信息方面取得多项研究成果，曾获国家自然科学、国家科技进步二等奖各一项、国家教学成果一等奖一项、何梁何利科技进步奖以及俄罗斯“齐奥尔科夫斯基”勋章。在国际、国内学术刊物和会议发表论文百余篇，出版中英文专著共4部。当前研究兴趣主要包括：科学发现的逻辑及交互式自动化程序调试，和大规模开放在线课程教育和群体计算。