李未教授，北京航空航天大学校长，中国科学院院士，国内外知名的学者，国家级有突出贡献的计算机专家，北京航空航天大学（软件开发环境）国家重点实验室主任及学术带头人，是国务院学位委员会委员，现任国家高技术（863）计划“智能计算机专家组”副组长，获航空部十杰优秀教师。
李未教授发表学术论论文一百一十余篇。他在并发程序语言和知识库理论方面做出了系统的开创性贡献。他是世界上最早研究和发展结构操作语义方法的学者之一，曾独立的用此方法系统的解决了Ada等实用并发语言的语义难题，给出了语言中并行和通信机制的高效算法。他在国际上首次提出了并发语言翻译理论，开创了并发语言的比较研究方向。上述工作获1995年国家自然科学二等奖。
在高技术研究和开发方面，李未教授曾主持研制了我国第一台从体系结构上既支持逻辑语言（Prolog），又支持函数语言（Lisp）的工作站，获1994年中国航空工业总公司科技进步奖一等奖。在可扩展机群和集成电路辅助方面获三项省部级二等奖。
在知识库理论方面，他在国际上首次系统的提出以知识库文本为研究对象，用逼近和极限方法描述知识库维护策略的理论，称为“开放逻辑”，受到国内外同行的关注，并被大量引用。
李未教授为我国八六三计划智能计算机主题的组织实施做出了重要贡献。他曾先后担任该主题专家组成员及副组长。他负责基础研究多年，为我国培养了一批高层次学术带头人，使我国在短期内研究水平迅速提高，在一些关键算法研究领域进入国际领先行列。 北京航空航天大学计算机学院老师介绍