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

李未
性別
出生 (1943-06-08) 1943年6月8日81歲)
北京
國籍 中華人民共和國
經歷

生平

編輯

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

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

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

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

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

參考文獻

編輯
  1. ^ 第十一届全国政协委员名单. 新華社北京1月25日電 中國人民政治協商會議第十一屆全國委員會委員名單(共2237人,2008年1月25日政協第十屆全國委員會常務委員會第二十次會議通過). 2008-01-25 [2013-04-09]. (原始內容存檔於2013-09-28). 
  2. ^ 全国政协信息-李未. 全國政協委員會. [2013-04-09]. (原始內容存檔於2019-06-01). 
前任:
沈士團
北京航空航天大學校長
2002年-2009年
繼任:
懷進鵬