李未

李未
性別	男
出生	(1943-06-08) 1943年6月8日 北京
國籍	中華人民共和國
經歷 中國科學院院士 （信息技術科學部，1997年）

李未（1943年6月8日—），男，北京人，中國計算機專家，中國科學院院士，北京航空航天大學原校長。他主要從事計算機軟體與科學理論以及網際網路應用研究，研究領域包括並發程序設計語言語義理論、軟體開發方法、人工智慧基礎及超大規模集成電路輔助設計技術。

生平

1966年畢業於北京大學數學與力學系，1983年在英國愛丁堡大學計算機科學系獲博士學位，曾任英國科學與工程委員會、紐卡瑟大學和愛丁堡大學計算機系高級研究員，歐洲共同體發展信息戰略計劃（ESPRIT）及德國不萊梅大學教授級研究員，德國薩爾大學（Zuse）客座教授。1986年任教授，並被批准為博士導師，1997年當選為中國科學院院士。

1981年提出了用結構操作語義描述軟體中並發、同步及通訊現象的方法，系統地解決了諸如Ada、Edison等並髮式程序設計語言的操作語義問題，結構操作語義方法已成為程序設計語言語義學的一種經典方法。

1992年建立了開放邏輯理論，解決了信息的不完全性、知識的可錯性及推理的非單調性的描述問題。

1998年在中國首先倡導海量信息計算的理論與方法研究。

2002年開始任北京航空航天大學校長。2008年，當選第十一屆全國政協委員，代表科學技術界，分入第三十一組。並擔任教科文衛體委員會專委。

參考文獻

前任： 沈士團

北京航空航天大學校長 2002年－2009年

繼任： 懷進鵬