檢視李未的原始碼

{{Infobox person
| 姓名     = 李未
| 圖像     =
[[File:Lo42.jpg|缩略图|居中|[https://timgsa.baidu.com/timg?image&quality=80&size=b9999_10000&sec=1569423303066&di=aa8717a2b27651599c52e56b7e6ab5b7&imgtype=jpg&src=http%3A%2F%2Fimg1.imgtn.bdimg.com%2Fit%2Fu%3D2055277736%2C2327189127%26fm%3D214%26gp%3D0.jpg原图连接][https://www.buaa.edu.cn/info/1544/2017.htm来自北京航空航天大学]]]
| 圖像說明 = 
| 出生日期 = 
| 國籍     = 中國
| 别名     = 
| 知名原因 = 
| 知名作品 = 
}}
[[李未]]，男，1943年生，[[北京]]市人，文化程度博士，[[中国]]科学院院士，[[国务院学位委员会委员]]、国有智能计算机专家组副组长等。
系统地解决了实用并行程序设计语言，特别是并行及通讯结构的语义问题，在并行程序语言翻译正确方面做出创始性贡献。还提出开放逻辑理论，建立了形式系统序列的极限理论等，证明了正交设计的最优性，在研究和使用硅编译技术及智能计算机研究等做出突出的成绩。<ref>[http://www.sohu.com/a/275331963_468689李未]搜狐</ref>