导师详细信息

姓名：李未

性别：男

出生年份：1943

职称：院士

院系：计算机学院

首次聘任导师时间：1986

现聘任导师一级学科名称：软件工程

现聘任导师二级学科名称：软件工程

聘任在第二学科培养博士生专业名称：无

聘任在自主设置学科培养博士生专业名称：无

主要研究方向及特色：1.计算机科学理论与软件基础2.非结构化数据理论与实践3.大数据的分析与处理

电子信箱：liwei@nlsde.buaa.edu.cn

办公电话：82317619

办公地点：北航新主楼G6

通信地址：北京市海淀区学院路37号

个人简介：

李未，1943年6月8日出生，北京航空航天大学计算机系教授，博士生导师，中国科学院院士。1966年北京大学数学与力学系毕业，1983年获英国爱丁堡大学计算机科学博士学位。现任软件开发环境国家重点实验室主任，中国科学院信息技术科学部主任。曾任第二至第六届国务院学位委员会委员，2002-2009年北京航空航天大学校长。

李未院士在实用并发语言操作语义、形式理论序列及其极限、修正演算以及过程模式研究等方面取得了创新性研究成果。1998年李未院士在我国首先倡导进行海量信息计算的理论与方法研究，现担任国家重点基础研究发展规划（973）项目"网络环境下海量信息组织、处理及传输的理论与方法"首席科学家。李未院士获国家自然科学奖二等奖一项，省部级科技进步奖一等奖及二等奖多项，何梁何利科技进步奖一项，国家教学成果一等奖一项。发表论文百余篇，专著4部，其中英文专著1部。

目前主要研究方向包括：

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

2.非结构化数据理论与实践

3.大数据的分析与处理