李未

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

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

生平

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

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

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

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

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

參考文獻

^ 第十一届全国政协委员名单. 新華社北京1月25日電中國人民政治協商會議第十一屆全國委員會委員名單(共2237人，2008年1月25日政協第十屆全國委員會常務委員會第二十次會議通過). 2008-01-25 [2013-04-09]. （原始內容存檔於2013-09-28）.
^ 全国政协信息-李未. 全國政協委員會. [2013-04-09]. （原始內容存檔於2019-06-01）.

前任：沈士團	北京航空航天大學校長 2002年－2009年	繼任：懷進鵬

[1] 第十一届全国政协委员名单. 新華社北京1月25日電中國人民政治協商會議第十一屆全國委員會委員名單(共2237人，2008年1月25日政協第十屆全國委員會常務委員會第二十次會議通過). 2008-01-25 [2013-04-09]. （原始內容存檔於2013-09-28）.

[2] 全国政协信息-李未. 全國政協委員會. [2013-04-09]. （原始內容存檔於2019-06-01）.

[1]

[2]

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