申请加入】【推荐学者】【申请成为评审专家
您的位置:首页 >> 优秀学者及主要论著 >> 李未
主页 代表论著
研究方向
长期从事计算机科学理论、软件技术及因特网应用研究。
学者寄语
暂无
联系方式
通信地址:null
邮编:
E-mail:paper106@cutech.edu.cn
个人主页
暂无
相关学者
  • 创建:2005-07-27
  • 浏览:7832
  • 论文下载:0
个人简介

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

中国科技论文在线
微信二维码


中国科技论文在线
微网站二维码

  收藏本学者
  推荐本学者给好友
分享 |