李未- 揭密真相
文章推薦指數： 80 %
李未，男，1943年生，北京市人，文化程度博士，中國科學院院士，國務院學位委員會委員、國有智能計算機專家組副組長等。
系統地解決了實用並行程序設計語言，特別是並行及通訊結構的語義問題，在並行程序語言翻譯正確方面做出創始性貢獻。
還提出開放邏輯理論，建立了形式系統序列的極限理論等，證明了正交設計的最優性，在研究和使用硅編譯技術及智能計算機研究等做出突出的成績。
[1]
1961年09月—1968年06月，就讀於北京大學數學力學系。
1968年06月—1979年07月，先後任北京航空學院基礎部、
