李未，学者凯发k8国际首页主页-凯发网

1943年6月8日生，北京人。北京航空航天大学计算机学院教授，软件开发环境国家重点实验室主任，国务院学位委员会委员，教育部教指委计算机部主任。第十届全国政协委员，国家中长期科技发展规划专家组成员。1997年当选为中国科学院院士。2002年1月任北京航空大学校长，党委副书记。1966年毕业于北京大学数学力学系，1983年在英国爱丁堡大学获计算机科学博士学位。他长期从事计算机科学理论、软件技术及因特网应用研究，获1995年国家自然科学奖二等奖。在计算机体系结构方面，主持研制推理工作站，获原航天部1996年科技进步一等奖。在开放逻辑方面，是形式系统序列与极限理论的开创者，获“光华”一等奖及何梁何利科技进步奖。在网络计算方面，现任因特网海量信息系统重大基础研究项目（973）的首席科学家。已发表论文一百余篇，专著1部；培养博士后8人，博士50余人，硕士100余人。