李未_北京航空航天大学教授

您当前浏览器版本过低，为了不影响您的使用，建议您使用最新的谷歌浏览器、火狐浏览器、 360浏览器，更换浏览器后使用更流畅！（注意！双核浏览器请切换为极速模式）

400-607-9388

李未
所属院校: 北京航空航天大学
所属院系: 高等理工学院
职称: 教授
导师类型:
招生专业:
研究领域:

个人简介

李未，男，1943年6月8日生，汉族，北京市人，中共党员，1997年当选为中国科学院院士。李未长期从事计算机软件与科学理论以及因特网应用研究。在程序设计理论与方法方面获1995年国家自然科学奖二等奖。在计算机体系结构方面主持研制推理工作站获航空航天部1996年科技进步奖一等奖。在人工智能方面是形式系统序列与极限理论的开创者，获“光华”一等奖及何梁何利科技进步奖。在网络计算方面1996年获北京市科技进步奖二等奖，主持研制了基础设施信息管理系统生产平台，现任互联网应用系统基础研究重大项目（973）的首席科学家。发表论文100余篇，专著一部，是八六三计算机专著丛书主编。培养博士后7人，博士50余人，硕士80余人。是教育部科技委委员，教指委计算机部主任。