北京航空航天九游网页版·官方端入口计算机学院导师介绍：李未

发布时间：2019-04-19 编辑：九游（中国）派小莉推荐访问：

北京航空航天九游网页版·官方端入口计算机学院导师介绍：李未内容如下，更多九游（中国）资讯请关注我们网站的更新！敬请收藏本站，或下载我们的九游（中国）派APP和九游（中国）派微信公众号（里面有非常多的免费九游（中国）资源可以领取，有各种九游（中国）问题，也可直接加我们网站上的研究生学姐微信，全程免费答疑，助各位九游（中国）一臂之力，争取早日考上理想中的研究生院校。）

+北京航空航天九游网页版·官方端入口研究生
微信,为你答疑,送资源

北京航空航天九游网页版·官方端入口计算机学院导师介绍：李未正文

　　
　　李未，北京航空航天九游网页版·官方端入口计算机学院教授，博士生导师，中国科学院院士，国务院学位委员会委员，第十、十一届全国政协委员，科技部专家顾问委员会委员，教育部咨询委员会委员，教育部计算机教学指导委员会主任，电子学会副理事长。

　　李未院士是我国著名的计算机科学家。1943年6月8日出生，1966年北京九游网页版·官方端入口数学与力学系毕业，1983年获英国爱丁堡九游网页版·官方端入口计算机科学博士学位。2002-2009年任北京航空航天九游网页版·官方端入口校长。现任软件开发环境国家重点实验室主任。曾任国家中长期科技发展规划大型飞机重大专项论证专家组组长，以及实施方案论证专家委员会主任委员。

　　李未院士在实用并发语言操作语义、形式理论序列和修正演算等方面取得了开创性研究成果。他对科学理论的进化、软件及其功能描述中的缺陷和程序错误的定位和修复进行了系统深入的研究，提出了关于版本序列的理论，建立了对错误进行修正的形式演算系统（R-演算）；设计了描述软件开发方法的形式语言，提出了可信软件开发方法的基本理论；在2007年和2010年分别出版了中英文专著《数理逻辑--基本原理与形式演算》。李未院士在我国率先倡导进行海量信息计算的理论与方法研究，曾两次担任国家重点基础研究发展规划（973）项目的首席科学家。李未院士1995年获国家自然科学奖二等奖一项，1997年获何梁何利科技进步奖一项，2004年获国家级科技进步二等奖一项，2005年获国家教学成果一等奖一项。

　　李未院士任《中国科学：信息科学》中英文版和《FrontiersofComputerScienceinChina》的主编。在国际、国内学术刊物和国际学术会议发表学术论文百余篇，中文专著2部，英文专著1部。86年起担任博士生导师，培养博士后8名、博士研究生52名和硕士生百余人。

　　目前主要研究方向包括：

　　计算机科学理论与软件基础

　　非结构化数据理论与实践

　　大数据的分析与处理

　　李未老师的招生联系人是：罗杰老师，邮箱：luojie@nlsde.buaa.edu.cn，办公地点：G1125，电话：82318422

以上老师的信息来源于学校网站，如有更新或错误，请联系我们进行更新或删除，联系方式

添加北京航空航天九游网页版·官方端入口学姐微信，或微信搜索公众号“九游（中国）派小站”，关注[九游（中国）派小站]微信公众号，在九游（中国）派小站微信号输入[北京航空航天九游网页版·官方端入口九游（中国）分数线、北京航空航天九游网页版·官方端入口报录比、北京航空航天九游网页版·官方端入口九游（中国）群、北京航空航天九游网页版·官方端入口学姐微信、北京航空航天九游网页版·官方端入口九游（中国）真题、北京航空航天九游网页版·官方端入口专业目录、北京航空航天九游网页版·官方端入口排名、北京航空航天九游网页版·官方端入口保研、北京航空航天九游网页版·官方端入口公众号、北京航空航天九游网页版·官方端入口研究生招生）]即可在手机上查看相对应北京航空航天九游网页版·官方端入口九游（中国）信息或资源。