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