李未

出自維基百科,自由嘅百科全書
跳去導覽 跳去搵嘢
李未
出生日1943年6月8號 喺Wikidata改呢個 (78歲)
出生地北京 喺Wikidata改呢個
國籍中華人民共和國 喺Wikidata改呢個
母校北京大學、University of Edinburgh 喺Wikidata改呢個
職業電腦科學家 喺Wikidata改呢個
僱主北京航空航天大學 喺Wikidata改呢個

李未1943年6月8號—)係電腦專家,中國科學院院士(1997年當選)[1][2]2002年開始做北京航空航天大學校長。佢主要搞電腦軟件,科學理講同埋互聯網嘅應用研究,研究嘅領域包括開發程序設計語言語義理論、軟件開發方法、人工智能基礎同埋超大規模嘅集成電路輔助設計技術。

李未1966年北京大學數學與力學系畢業1983年英國愛丁堡大學電腦科學系攞到博士學位。佢做過英國科學與工程委員會、紐卡素大學同愛丁堡大學電腦系高級研究員, 歐洲共同體發展信息戰略計劃(ESPRIT)同埋德國不萊梅大學教授級研究員,德國薩爾大學(Zuse)客席教授。1986年做教授,並被批准為博士導師,1997年當選中國科學院院士。

1981年佢提出咗用結構操作語義描述軟件件中並發、同步同通訊現象嘅方法。1992年建立了開放邏輯理論。1998年在中國首先倡導海量信息計算嘅理論同方法研究。

[編輯]

  1. "李未----中国科学院学部" (中文). 中國科學院.
  2. "中国科学院院士文库" (中文). 中國科學院.

出面網頁[編輯]