| 知名作品 =
}}
[[李未]]，男，1943年生， [[ 北京 ]] 市人，文化程度博士， [[ 中国 ]] 科学院院士，[[国务院学位委员会委员]]、国有智能计算机专家组副组长等。
系统地解决了实用并行程序设计语言，特别是并行及通讯结构的语义问题，在并行程序语言翻译正确方面做出创始性贡献。还提出开放逻辑理论，建立了形式系统序列的极限理论等，证明了正交设计的最优性，在研究和使用硅编译技术及智能计算机研究等做出突出的成绩。<ref>[http://www.sohu.com/a/275331963_468689李未]搜狐</ref>
==个人履历==