热门问题
时间线
聊天
视角

李未

来自维基百科,自由的百科全书

Remove ads

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

快速預覽 李未, 性別 ...

生平

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

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

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

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

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

Remove ads

參考文獻

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads