李未科研成就科研综述李未解决了实用并发语言的复杂语法结构的语义问题，在建立并发语言的翻译和比较研究理论方面取得了开创性研究成
1991年提出了用版本序列的收敛性描述软件开发过程和知识库维护策略的理论和方法，开辟了用近似和逼近方法研究软件开发和知识库维护的方向
学术论著根据2021年11月北京航空航天大学计算机学院网站显示，李未先后在国际、中国国内学术刊物和国际学术会议发表学术论文百余篇，中文专著2部，英文专著1部
承担项目项目名称项目来源，担任职务网络环境下海量信息的组织与处理的理论与方法研究国家重点基础研究发展计划（973计划），首席科学家海量信息的协同性与可生存性的理论和实践研究国家重点基础研究发展计划（973计划），首席科学家 科研成果奖励获奖时间项目名称奖励名称1995年国家自然科学二等奖1999年光华科技进步一等奖2004年基础设施信息网络管理系统生产平台技术国家科技进步二等奖（第一完成人）
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
