李未
李未（1943年6月8日—），男，北京人，中國計算機專家，中國科學院院士，北京航空航天大學原校長。他主要從事計算機軟件與科學理論以及互聯網應用研究，研究領域包括並發程式語言語義理論、軟件開發方法、人工智能基礎及超大規模集成電路輔助設計技術。
| 李未 | |
|---|---|
| 性別 | 男 |
| 出生 | 1943年6月8日 北京 |
| 國籍 |  中華人民共和國 |
經歷
| |
生平
1966年畢業於北京大學數學與力學系，1983年在英國愛丁堡大學計算機科學系獲博士學位，曾任英國科學與工程委員會、紐卡瑟大學和愛丁堡大學計算機系高級研究員，歐洲共同體發展信息戰略計劃（ESPRIT）及德國不萊梅大學教授級研究員，德國薩爾大學（Zuse）客座教授。1986年任教授，並被批准為博士導師，1997年當選為中國科學院院士。
1981年提出了用結構操作語義描述軟件中並發、同步及通訊現象的方法，系統地解決了諸如Ada、Edison等並髮式程式語言的操作語義問題，結構操作語義方法已成為程式語言語義學的一種經典方法。
1992年建立了開放邏輯理論，解決了信息的不完全性、知識的可錯性及推理的非單調性的描述問題。
1998年在中國首先倡導海量信息計算的理論與方法研究。
2002年開始任北京航空航天大學校長。2008年，當選第十一屆全國政協委員[1]，代表科學技術界，分入第三十一組。並擔任教科文衛體委員會專委。[2]
參考文獻
| 前任： 沈士團 |
北京航空航天大學校長 2002年－2009年 |
繼任： 懷進鵬 |