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