李未- 維基百科,自由的百科全書 - Wikipedia
文章推薦指數: 80 %
李未(1943年6月8日-),北京人,中國計算機專家,中國科學院院士,北京航空航天大學原校長。
他主要從事計算機軟體與科學理論以及網際網路應用研究,研究領域包括並發程序設計語言語義理論、軟體開發方法、人工智慧基礎及超大規模集成電路輔助設計技術。
1966年畢業於北京大學數學與力學系,1983年在英國愛丁堡大學計算機科學系獲博士學位,曾任英國科學與工程委員會、紐卡瑟大學和愛丁堡大學計算機系高級研究員,歐洲共同體發展信息戰略計劃(ESPRIT)及德國不萊梅大學教授級研究員,德國薩爾大學(Zuse)客座教授。
1