主要成就:中国科学院院士、211工程、985工程
李未,北京市人,文化程度博士,计算机专家,中国科学院院士,任北京航空航天大学计算机学院教授、博士研究生导师,国务院学位委员会委员、国有智能计算机专家组副组长等。
人物履历
1961年09月-1968年06月 就读于北京大学数学力学系。
1968年06月-1979年07月 先后任北京航空学院基础部、计算中心教师。
1979年07月-1983年01月 在英国爱丁堡大学计算机系攻读博士学位。
1983年01月-1986年08月 任北京航空学院计算机系讲师。
1986年09月 任北京航空航天大学计算机学院教授、博士研究生导师。
1997年当选为中国科学院院士。
2002年01月-2009年05月 任北京航空航天大学校长,党委副书记。
荣誉成就
在计算机程序语义研究方面,获1995年国家自然科学二等奖。
1999年起 先后担任973计划“网络环境下海量信息的组织与处理的理论与方法研究”和“海量信息的协同性与可生存性的理论和实践研究”项目首席科学家。
提出并设计了过程模式语言,提出并研究了合理过程模式的三个基本特性获得1999年光华科技进步一等奖。
主持研制的基础设施网络管理系统软件生产平台,获得2004年度国家科技进步二等奖(第一完成人)。
已发表学术论文100余篇,专著1部。
获2005年度国家教学成果一等奖,获何梁何利科技进步奖一项。
培养博士后8名、博士研究生52名和硕士生96名。
2018年6月29日 北京航空航天大学原校长李未获“杰出大学校长奖”。