李未
李未（1943年6月8號—）係電腦專家，中國科學院院士（1997年當選）[1][2]，2002年開始做北京航空航天大學校長。佢主要搞電腦軟件，科學理講同埋互聯網嘅應用研究，研究嘅領域包括開發程序設計語言語義理論、軟件開發方法、人工智能基礎同埋超大規模嘅集成電路輔助設計技術。
| 李未 | |
|---|---|
| 出生日 | 1943年6月8號  （81歲） |
| 出生地 | 北京 |
| 國籍 | 中華人民共和國 |
| 母校 | 北京大學、愛丁堡大學 |
| 職業 | 電腦科學家 |
| 僱主 | 北京航空航天大學 |
[改維基數據] | |
李未1966年喺北京大學數學與力學系畢業，1983年喺英國愛丁堡大學電腦科學系攞到博士學位。佢做過英國科學與工程委員會、紐卡素大學同愛丁堡大學電腦系高級研究員， 歐洲共同體發展信息戰略計劃(ESPRIT)同埋德國不萊梅大學教授級研究員，德國薩爾大學(Zuse)客席教授。1986年做教授，並被批准為博士導師，1997年當選中國科學院院士。
1981年佢提出咗用結構操作語義描述軟件件中並發、同步同通訊現象嘅方法。1992年建立了開放邏輯理論。1998年在中國首先倡導海量信息計算嘅理論同方法研究。
攷
編輯- ↑ 〈李未----中国科学院学部〉 (簡體中文)。中國科學院。
- ↑ 〈中国科学院院士文库〉 (簡體中文)。中國科學院。
{{cite web}}: CS1 maint: url-status (link)
出面網頁
編輯
 |